Sciweavers

1419 search results - page 54 / 284
» Notes on Formalizing Context
Sort
View
JAIR
2006
138views more  JAIR 2006»
15 years 17 days ago
Logical Hidden Markov Models
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
Kristian Kersting, Luc De Raedt, Tapani Raiko
84
Voted
TKDE
2011
138views more  TKDE 2011»
14 years 7 months ago
Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction"
—In the paper “semQA: SPARQL with Idempotent Disjunction” [Shironoshita et al. 2009], the authors study the RDF query language SPARQL. In particular, they claim that some of ...
Marcelo Arenas, Claudio Gutierrez, Jorge Pé...
B
1998
Springer
15 years 4 months ago
Test Case Preparation Using a Prototype
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
Helen Treharne, J. Draper, Steve Schneider
95
Voted
CHI
2008
ACM
16 years 1 months ago
The associative pda 2.0
In this paper I describe the Associative PDA 2.0, a mobile system for Personal Information Management (PIM), based on an associative information network. In addition to associate ...
Eileen Falke
105
Voted
TKDE
2010
164views more  TKDE 2010»
14 years 11 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou