9989 search results - page 93 / 1998 » A CLP Approach to Modelling Systems |
178
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We introduce ideas, proposed technologies, and initial results for an office of the future that is based on a unified application of computer vision and computer graphics in a sys...
170
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
214
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
150
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
157
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...