9209 search results - page 304 / 1842 » Data Space Randomization |
188
click to vote
DDECS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
143
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— A humanoid robot should be able to keep its balance even in the presence of disturbing forces. Studies of human body reaction patterns to sudden external forces are useful to d...
181
click to vote
MLCW
2005
Springer
16 years 4 days ago
2005
Springer
Textual Entailment recognition is a very difficult task as it is one of the fundamental problems in any semantic theory of natural language. As in many other NLP tasks, Machine Lea...
144
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
Animation of facial speech and expressions has experienced increased attention recently. Most current research focuses on techniques for capturing, synthesizing, and retargeting f...
159
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...