2030 search results - page 153 / 406 » Extremal Problems of Information Combining |
119
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
187
click to vote
VRCAI
2009
ACM
15 years 11 months ago
2009
ACM
Game engines of cinematic quality, broadband networking and advances in Virtual Reality (VR) technologies are setting the stage to allow players to have shared, “better-than-lif...
130
click to vote
SIGGRAPH
1999
ACM
15 years 9 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...
174
Voted
AAAI
2006
15 years 6 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
162
Voted
CANDC
2006
ACM
15 years 5 months ago
2006
ACM
DNA sequencing by hybridization (SBH) induces errors in the biochemical experiment. Some of them are random and disappear when the experiment is repeated. Others are systematic, i...