Searching for authors named "Mutsumi Nakamura" – sorted by Relevance.
-
Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules
- Mutsumi Nakamura, Ramez Elmasri Department of Computer Science and Engineering The University of Texas
- Add To MetaCart
-
Invariance, Maintenance and other declarative objectives of triggers - a formal characterization of active databases
- of active databases Mutsumi Nakamura Chitta Baral Department of CSE Department of CSE University of Texas
- Cited by 3 (3 self) – Add To MetaCart
-
Guaranteed intervals for Kolmogorov’s theorem (and their possible relation to neural networks
- ) Mutsumi Nakamura, Ray Mines, Vladik Kreinovich \Lambda Abstract In 1987, R. Hecht-Nielsen noticed
- Cited by 10 (6 self) – Add To MetaCart
-
Maintainability: A Weaker Stabilizability Like Notion for High Level Control
- Maintainability: a weaker stabilizability like notion for high level control Mutsumi Nakamura
- Cited by 4 (3 self) – Add To MetaCart
-
A Formal Characterization of Maintenance Goals
- A formal characterization of maintenance goals Mutsumi Nakamura and Chitta Baral Dept. of Computer
- Add To MetaCart
-
On Hardware Support For Interval Computations And For Soft Computing: Theorems
- , Vladik Kreinovich, Member, IEEE, Vyacheslav Nesterov, and Mutsumi Nakamura Abstract. This paper provides
- Cited by 5 (3 self) – Add To MetaCart
-
Collaborative Curation of Data from Bio-medical Texts and Abstracts and its integration
- Baral, Hasan Davulcu, Mutsumi Nakamura, Prabhdeep Singh, Luis Tari, and Lian Yu Department of Computer
- Cited by 2 (1 self) – Add To MetaCart
-
Genomic information retrieval through selective extraction and tagging by the ASU-BioAI group. 14th Text Retrieval Conference (TREC2005
- Yu, Syed Toufeeq Ahmed, Graciela Gonzalez, Brandon Logsdon, Mutsumi Nakamura, Shawn Nikkila, Kalpesh
- Cited by 2 (0 self) – Add To MetaCart

