Sciweavers

3954 search results - page 722 / 791
» Image-based Model Completion
Sort
View
ADHOC
2005
143views more  ADHOC 2005»
13 years 9 months ago
Active query forwarding in sensor networks
While sensor networks are going to be deployed in diverse application specific contexts, one unifying view is to treat them essentially as distributed databases. The simplest mech...
Narayanan Sadagopan, Bhaskar Krishnamachari, Ahmed...
JAR
2007
104views more  JAR 2007»
13 years 9 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
BMCBI
2005
149views more  BMCBI 2005»
13 years 9 months ago
The PD-(D/E)XK superfamily revisited: identification of new members among proteins involved in DNA metabolism and functional pre
Background: The PD-(D/E)XK nuclease superfamily, initially identified in type II restriction endonucleases and later in many enzymes involved in DNA recombination and repair, is o...
Jan Kosinski, Marcin Feder, Janusz M. Bujnicki
JUCS
2007
90views more  JUCS 2007»
13 years 9 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
URBAN
2008
99views more  URBAN 2008»
13 years 9 months ago
A comparison of address point, parcel and street geocoding techniques
The widespread availability of powerful geocoding tools in commercial GIS software and the interest in spatial analysis at the individual level have made address geocoding a widel...
Paul A. Zandbergen