Searching for authors named "Mutsumi Nakamura" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
