12774 search results - page 400 / 2555 » A Framework for Proof Systems |
174
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
189
click to vote
ACMACE
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a motion-capture-based control framework for third-person view virtual reality applications. Using motion capture devices, a user can directly control the full...
250
click to vote
DAC
2006
ACM
15 years 9 months ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...
273
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
188
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
ImLib3D is a C++ library for 3D medical image processing research. It provides a carefully designed, object-oriented, standards conforming C++ library, as well as a separate visual...