410 search results - page 67 / 82 » Symbolic Representations and Analysis of Large Probabilistic... |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
BMCBI
2005
13 years 7 months ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
IJCAI
1989
13 years 9 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
JUCS
2000
13 years 7 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...