Sciweavers

2598 search results - page 228 / 520
» Experimental Design for Variable Selection in Data Bases
Sort
View
CEC
2010
IEEE
15 years 7 months ago
Evolvable mechanics: Hardware tools for evolutionary robotics
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
Bill Bigge Inman, R. Harvey
COLCOM
2007
IEEE
16 years 29 days ago
SYNG: A middleware for statefull groupware in mobile environments
— Computer supported collaboration systems, or groupware, are being used more and more in the real life. In the recent years, we are witnessing an increasing demand for supportin...
M. Ionescu, I. Marsic
195
Voted
LPAR
2005
Springer
16 years 4 days ago
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti G...
BMCBI
2006
130views more  BMCBI 2006»
15 years 6 months ago
Spatial normalization of array-CGH data
Background: Array-based comparative genomic hybridization (array-CGH) is a recently developed technique for analyzing changes in DNA copy number. As in all microarray analyses, no...
Pierre Neuvial, Philippe Hupé, Isabel Brito...
MM
2005
ACM
146views Multimedia» more  MM 2005»
16 years 6 days ago
Unsupervised content discovery in composite audio
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...
Rui Cai, Lie Lu, Alan Hanjalic