17680 search results - page 473 / 3536 » Simulation of Computer Systems and Applications |
189
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
175
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
160
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
152
Voted
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
— In this paper, a new tool dedicated to the analysis and the conception of molecules is presented. It is composed of an adaptive simulation software and a haptic device used to ...
180
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...