902 search results - page 151 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
106
Voted
JCP
2008
15 years 14 days ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
110
click to vote
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
127
Voted
IJMSO
2007
15 years 12 days ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
123
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
193
Voted
GIS
2003
ACM
16 years 1 months ago
2003
ACM
With wireless communications and geo-positioning being widely available, it becomes possible to offer new e-services that provide mobile users with information about other mobile ...