11436 search results - page 77 / 2288 » Modeling Real Reasoning |
78
Voted
SAFECOMP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
117
Voted
CCGRID
2007
IEEE
15 years 7 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
116
Voted
FGR
2006
IEEE
15 years 6 months ago
2006
IEEE
Active appearance models (AAMs) are generative parametric models commonly used to track faces in video sequences. A limitation of AAMs is they are not robust to occlusion. A recen...
FC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Secure login methods based on human cognitive skills can be classified into two categories based on information available to a passive attacker: (i) the attacker fully ob...
136
click to vote
ISDA
2010
IEEE
14 years 10 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...