Sciweavers

2056 search results - page 326 / 412
» time 2000
Sort
View
KR
2000
Springer
14 years 1 months ago
An Environment for Merging and Testing Large Ontologies
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
Deborah L. McGuinness, Richard Fikes, James Rice, ...
KR
2000
Springer
14 years 1 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
MA
2000
Springer
135views Communications» more  MA 2000»
14 years 1 months ago
Principles of Mobile Maude
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
Francisco Durán, Steven Eker, Patrick Linco...
MA
2000
Springer
115views Communications» more  MA 2000»
14 years 1 months ago
Quantitative Evaluation of Pairwise Interactions between Agents
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shi...
MICCAI
2000
Springer
14 years 1 months ago
Simulation of Corticospinal Tract Displacement in Patients with Brain Tumors
The spatial relationship between the corticospinal tracts and a brain tumor is important for planning the surgical strategy. Although the white matter tracts can be manually outlin...
Michael Kaus, Arya Nabavi, C. T. Mamisch, William ...