3765 search results - page 490 / 753 » Formal Methods for Systems Engineering Behavior Models |
172
click to vote
PAMI
2010
15 years 5 months ago
2010
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...
184
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
269
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
208
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
166
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...