14331 search results - page 382 / 2867 » On the modeling and analysis of obligations |
186
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Recent results on sparse coding and independent component analysis suggest that human vision first represents a visual image by a linear superposition of a relatively small number ...
170
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
169
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
201
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
201
click to vote
TITS
2008
15 years 6 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...