3573 search results - page 379 / 715 » Reasoning about Codata |
166
click to vote
WOA
2003
15 years 7 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
175
click to vote
WSCG
2003
15 years 7 months ago
2003
The paper presents a visualization-based approach to explore large databases of geographic metadata. The aim of the data exploration is to search and acquire expressive geographic...
168
click to vote
FLAIRS
2000
15 years 7 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
157
click to vote
GAMEON
2000
15 years 7 months ago
2000
To increase the depth and appeal of computer games, the intelligence of the characters they contain needs to be increased. These characters should be played by intelligent agents ...
174
Voted
BNCOD
1997
15 years 7 months ago
1997
Abstract. In this paper we present two improvements to the partitioning process: 1) A new dynamic bu er management strategy is employed to increase the average block size of I/O-tr...