( en | de | ru )

 

Disambiguation of "Ueda, Kazunori"

Author of the publication

copydeleteadd this publication to your clipboard
An Architecture of Personalized Sports Digest System with Scenario Templates.

, , , , and . DASFAA, page 170-171. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Other publications of authors with the same name

Preface., and . Math. Struct. Comput. Sci., 25 (4): 764 (2015)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 17-30. Springer, (2016)Making Exhaustive Search Programs Deterministic.. New Generation Comput., 5 (1): 29-44 (1987)c-sat: A Parallel SAT Solver for Clusters., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 524-537. Springer, (2009)Asymmetric DHT Based on Performance of Peers., and . APNOMS, volume 5787 of Lecture Notes in Computer Science, page 427-430. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 457-458. Springer, (2006)MANDELA: A LogicBased Knowledge Programming System., , , , , and . FGCS, page 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., and . FGCS, page 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , and . ICTAC, volume 5684 of Lecture Notes in Computer Science, page 349-355. Springer, (2009)Type checking data structures more complex than trees., , and . CoRR, (2022)