Sciweavers

984 search results - page 138 / 197
» Experimenting with Multi-Level Models in a Two-Level Modelin...
Sort
View
IUI
2000
ACM
15 years 8 months ago
A task-based architecture for application-aware adjuncts
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
Robert G. Farrell, Peter G. Fairweather, Eric Brei...
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 7 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
ECIS
2001
15 years 5 months ago
Design of Web-Based Information Systems - New Challenges for Systems Development?
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
Peter H. Carstensen, Lasse Vogelsang
IMAGING
2004
15 years 5 months ago
3D Simulation of Prints for Improved Soft-Proofing
A display tool has been developed to perform simulation and three-dimensional rendering of prints in the quest towards achieving improved soft proofing capabilities. It was desire...
Rohit A. Patil, Mark D. Fairchild, Garrett M. John...
134
Voted
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 3 months ago
Does intelligence imply contradiction?
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
Patrizio Frosini