1567 search results - page 205 / 314 » A Mechanized Model of the Theory of Objects |
105
click to vote
DMIN
2006
15 years 3 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...
146
click to vote
AAAI
2008
15 years 2 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
112
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
Determining similarity is a fundamental task in querying multimedia databases in a content-based way. For this challenging task, there exist numerous similarity models which measu...
121
click to vote
GRAMMARS
1998
15 years 1 months ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
111
click to vote
FORTE
2008
15 years 3 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...