3856 search results - page 270 / 772 » Models for Automated Earthmoving |
164
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
174
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
182
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
A particularly difficult task in molecular imaging is the analysis of fluorescence microscopy images of neural tissue, as they usually exhibit a high density of objects with diffu...
226
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
203
click to vote
AIME
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The practice of medicine is becoming increasingly evidencebased and clinical practice guidelines (CPGs) are necessary for advancing evidence-based medicine (EBM). We hypo...