1153 search results - page 174 / 231 » Compositional Specification Calculus for Information Systems... |
138
Voted
FAC
2000
15 years 3 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
104
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
We describe Chronicle, a new system that allows users to explore document workflow histories. Chronicle captures the entire video history of a graphical document, and provides lin...
201
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Recent trend in the development of mobile devices, wireless communications, sensor technologies, weblogs, and peer-to-peer communications have prompted a new design opportunity fo...
176
Voted
MIR
2003
ACM
15 years 8 months ago
2003
ACM
Sign board detection is important for such computer vision applications as video surveillance and content based visual information retrieval. Previous researches on this topic foc...
106
Voted
ICCBR
1999
Springer
15 years 7 months ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...