10988 search results - page 2143 / 2198 » Algorithmic Folding Complexity |
127
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
127
Voted
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
141
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
112
Voted
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
: We present a simple and precise robot targeting method under portable x-ray fluoroscopy based on image servoing. The method is implemented for needle alignment in percutaneous pr...
131
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...