Sciweavers

2539 search results - page 382 / 508
» Semantic frameworks for e-government
Sort
View
CR
2001
151views Education» more  CR 2001»
15 years 7 months ago
Layers of Meaning: Disentangling Subject Access Interoperability
ACT n are ge. subject access ieved. In order to facilitate subject access interoperability a mechanism must be built that allows the different controlled vocabularies to communicat...
Joseph T. Tennis
FDBS
2001
92views more  FDBS 2001»
15 years 7 months ago
Integrating Data and Probabilistically Structured Text Documents
Commercial, non-profit and public organizations are accumulating huge amounts of electronically available text documents. Although composed of unstructured texts, documents contai...
Karsten Winkler, Myra Spiliopoulou
IJCAI
2001
15 years 7 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
SDL
2001
125views Hardware» more  SDL 2001»
15 years 7 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
IJCAI
2003
15 years 7 months ago
Weak Conditional Logics of Normality
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
James P. Delgrande