2878 search results - page 524 / 576 » Analyzing the Uses of a Software Modeling Tool |
TVCG
2010
14 years 12 months ago
2010
—Most images used in visualization are computed with the planar pinhole camera. This classic camera model has important advantages such as simplicity, which enables efficient sof...
112
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
134
Voted
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
140
Voted
ICDIM
2010
IEEE
14 years 11 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
177
click to vote
Publication
We present a data-driven, unsupervised method for unusual
scene detection from static webcams. Such time-lapse
data is usually captured with very low or varying framerate.
This ...