6042 search results - page 241 / 1209 » Repeated Observation Models |
139
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
177
click to vote
ICMCS
2006
IEEE
16 years 6 days ago
2006
IEEE
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...
148
click to vote
W4A
2006
ACM
16 years 3 days ago
2006
ACM
In this paper we detail the synergies we have observed between the features and limitations of mobile phones, and the usability and accessibility requirements of rural developing ...
150
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
147
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...