Sciweavers

284 search results - page 42 / 57
» Roomy: A System for Space Limited Computations
Sort
View
GECCO
2006
Springer
133views Optimization» more  GECCO 2006»
15 years 3 months ago
String transformation-based Bayesian classification or proteins
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
Timothy Meekhof, Gary W. Daughdrill, Robert B. Hec...
NSDI
2004
15 years 1 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
SENSYS
2004
ACM
15 years 5 months ago
Hardware design experiences in ZebraNet
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
Pei Zhang, Christopher M. Sadler, Stephen A. Lyon,...
COGSCI
2008
72views more  COGSCI 2008»
14 years 12 months ago
The Tractable Cognition Thesis
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
Iris van Rooij
SIAMIS
2010
171views more  SIAMIS 2010»
14 years 6 months ago
Global Optimization for One-Dimensional Structure and Motion Problems
We study geometric reconstruction problems in one-dimensional retina vision. In such problems, the scene is modeled as a 2D plane, and the camera sensor produces 1D images of the s...
Olof Enqvist, Fredrik Kahl, Carl Olsson, Kalle &Ar...