Sciweavers

1285 search results - page 234 / 257
» Description Logic Reasoner: System Description
Sort
View
AIME
2005
Springer
15 years 5 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
SEMWEB
2005
Springer
15 years 5 months ago
Provenance-Based Validation of E-Science Experiments
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T....
66
Voted
IJCAI
2001
15 years 1 months ago
Narrative Prose Generation
Story generation is experiencing a revival, despite disappointing preliminary results from the preceding three decades. One of the principle reasons for previous inadequacies was ...
Charles B. Callaway, James C. Lester
IJCAI
1989
15 years 27 days ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai
TII
2010
166views Education» more  TII 2010»
14 years 6 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis