6574 search results - page 1047 / 1315 » Current Signatures: Application |
186
click to vote
AIIDE
2009
15 years 7 months ago
2009
We examine the problem of automatically selecting gestures that are appropriate to use when telling a joke or a short story. Our current application of this is a joke telling huma...
169
click to vote
ATMOS
2009
15 years 7 months ago
2009
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
205
click to vote
BRAIN
2010
Springer
15 years 7 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
191
click to vote
C3S2E
2010
ACM
15 years 7 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
189
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...