3322 search results - page 191 / 665 » Automatic Human Model Generation |
104
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
112
click to vote
ASPLOS
2004
ACM
15 years 4 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
126
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Video summarization is a mechanism for generating short summaries of the video to help people quickly make sense of the content of the video before downloading or seeking more det...
79
Voted
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
100
click to vote
ICPR
2006
IEEE
16 years 2 days ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...