4460 search results - page 580 / 892 » Formal methods for interactive systems |
183
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
165
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: A new image-based rendering method, based on the light field and Lumigraph system, allows illumination to be changed interactively. It does not try to recover or use any geometr...
201
click to vote
KCAP
2005
ACM
16 years 6 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
174
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
167
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...