9067 search results - page 1486 / 1814 » Adaptive Model Checking |
192
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
176
click to vote
ERCIMDL
2006
Springer
15 years 11 months ago
2006
Springer
This demonstration provides a "hands on" experience to the "internals" of Pergamos, the University of Athens DL System. Pergamos provides uniform high level DL ...
203
click to vote
ERCIMDL
2006
Springer
15 years 11 months ago
2006
Springer
Digital Object Prototypes (DOPs) provide the DL designer with the ability to model diverse types of digital objects in a uniform manner while offering digital object type conforman...
164
click to vote
ETRICS
2006
15 years 11 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...
226
click to vote
FGR
2006
IEEE
15 years 11 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...