21430 search results - page 368 / 4286 » Abstract Effective Models |
165
click to vote
ICAI
2008
15 years 8 months ago
2008
Unlike microscopic physics models, agent-based artificial life models are commonly constructed without a strict energy conservation rule. We report on the effects of incorporating...
172
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
165
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
193
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
295
Voted
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Content-based retrieval of spatio-temporal patterns from human motion databases is inherently nontrivial since finding effective distance measures for such data is difficult. These...