2004 search results - page 230 / 401 » Comparison of Model Checking Tools for Information Systems |
193
click to vote
ECIR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Social tagging systems provide methods for users to categorise resources using their own choice of keywords (or "tags") without being bound to a restrictive set...
204
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Models of agent-environment interaction that use predictive state representations (PSRs) have mainly focused on the case of discrete observations and actions. The theory of discre...
158
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
190
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
169
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we study the computation error tolerance properties of motion estimation algorithms. We are motivated by two scenarios where hardware systems may introduce computati...