2004 search results - page 279 / 401 » Comparison of Model Checking Tools for Information Systems |
121
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
The retrieval performance of content-based image retrieval (CBIR) systems is often disappointingly low, mainly due to the subjectivity of human perception. Relevance feedback (RF)...
158
click to vote
PVLDB
2008
15 years 3 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
157
click to vote
SIMPRA
2008
15 years 4 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
169
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
153
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...