Sciweavers

2607 search results - page 66 / 522
» Complete Functional Synthesis
Sort
View
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
15 years 9 months ago
Controlling Swarms of Robots Using Interpolated Implicit Functions
— We address the synthesis of controllers for large groups of robots and sensors, tackling the specific problem of controlling a swarm of robots to generate patterns specified ...
Luiz Chaimowicz, Nathan Michael, Vijay Kumar
137
Voted
VLSID
1998
IEEE
116views VLSI» more  VLSID 1998»
15 years 7 months ago
Synthesis of Testable RTL Designs
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
C. P. Ravikumar, Sumit Gupta, Akshay Jajoo
OSDI
1996
ACM
15 years 4 months ago
Microkernels Meet Recursive Virtual Machines
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tull...
BMCBI
2005
79views more  BMCBI 2005»
15 years 3 months ago
Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes
Background: Cyclic nucleotides are ubiquitous intracellular messengers. Until recently, the roles of cyclic nucleotides in plant cells have proven difficult to uncover. With an un...
Dave Bridges, Marie E. Fraser, Greg B. G. Moorhead
111
Voted
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 9 months ago
Preventing overfitting in GP with canary functions
Overfitting is a fundamental problem of most machine learning techniques, including genetic programming (GP). Canary functions have been introduced in the literature as a concept ...
Nate Foreman, Matthew P. Evett