3718 search results - page 706 / 744 » Programming by Integration in Robotics |
96
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we propose a new global router, BoxRouter, powered by the concept of box expansion and progressive integer linear programming (ILP). BoxRouter first uses a simple P...
67
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
As a prevalent constraint, sharp slew rate is often required in circuit design which causes a huge demand for buffering resources. This problem requires ultra-fast buffering techn...
100
click to vote
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a learning based method for automatic extraction of the major cortical sulci from MRI volumes or extracted surfaces. Instead of using a few pre-defined rules su...
84
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
106
Voted
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...