Sciweavers

1809 search results - page 230 / 362
» A Formal Specification of dMARS
Sort
View
IJCAI
1989
13 years 10 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...
COLING
1990
13 years 10 months ago
A Logic-Based Government-Binding Parser for Mandarin Chinese
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
Hsin-Hsi Chen
USAB
2007
13 years 10 months ago
User-Centered Methods Are Insufficient for Safety Critical Systems
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
Harold W. Thimbleby
BIS
2009
131views Business» more  BIS 2009»
13 years 10 months ago
Organisational Ontology Framework for Semantic Business Process Management
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
Agata Filipowska, Martin Hepp, Monika Kaczmarek, I...
ENTCS
2006
184views more  ENTCS 2006»
13 years 9 months ago
Scannerless Boolean Parsing
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
Adam Megacz