11151 search results - page 2057 / 2231 » On the Complexity of Model Expansion |
127
click to vote
ISBRA
2007
Springer
15 years 7 months ago
2007
Springer
Proteins are large organic compounds made of amino acids arranged in a linear chain (primary structure). Most proteins fold into unique threedimensional (3D) structures called inte...
165
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
135
Voted
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This article presents some results about schedulability analysis of tasks with offsets also known as transactions, in the particular case of monotonic transactions. The...
109
click to vote
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...
116
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...