Sciweavers

3025 search results - page 353 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
170
Voted
CORR
2011
Springer
219views Education» more  CORR 2011»
14 years 10 months ago
Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
Kian Hsiang Low, John M. Dolan, Pradeep K. Khosla
157
Voted
BMCBI
2008
121views more  BMCBI 2008»
15 years 3 months ago
BioSAVE: Display of scored annotation within a sequence context
Background: Visualization of sequence annotation is a common feature in many bioinformatics tools. For many applications it is desirable to restrict the display of such annotation...
Richard F. Pollock, Boris Adryan
145
Voted
CASES
2007
ACM
15 years 7 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
115
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
139
Voted
DFT
1999
IEEE
139views VLSI» more  DFT 1999»
15 years 8 months ago
Soft-Error Detection through Software Fault-Tolerance Techniques
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
Maurizio Rebaudengo, Matteo Sonza Reorda, Marco To...