9989 search results - page 93 / 1998 » A CLP Approach to Modelling Systems |
148
click to vote
SIGGRAPH
1998
ACM
15 years 7 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...
133
click to vote
INFOCOM
2006
IEEE
15 years 10 months 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...
179
click to vote
NMR
2004
Springer
15 years 9 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 ...
117
Voted
NGITS
1995
Springer
15 years 7 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
131
click to vote
DATE
2008
IEEE
15 years 10 months 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...