Sciweavers

356 search results - page 62 / 72
» Intelligent exploration method for XCS
Sort
View
SAC
2009
ACM
14 years 3 months ago
Semantic information and sensor networks
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
Krishnaprasad Thirunarayan, Joshua Pschorr
ISMVL
2009
IEEE
124views Hardware» more  ISMVL 2009»
14 years 3 months ago
Equivalence Checking of Reversible Circuits
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
Robert Wille, Daniel Große, D. Michael Mille...
ISSTA
2006
ACM
14 years 2 months ago
DSD-Crasher: a hybrid analysis tool for bug finding
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
Christoph Csallner, Yannis Smaragdakis
SAC
2005
ACM
14 years 2 months ago
Discovering parametric clusters in social small-world graphs
We present a strategy for analyzing large, social small-world graphs, such as those formed by human networks. Our approach brings together ideas from a number of different resear...
Jonathan McPherson, Kwan-Liu Ma, Michael Ogawa
ICMI
2003
Springer
184views Biometrics» more  ICMI 2003»
14 years 1 months ago
Real time facial expression recognition in video using support vector machines
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
Philipp Michel, Rana El Kaliouby