Sciweavers

653 search results - page 71 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
NAR
2007
131views more  NAR 2007»
14 years 11 months ago
CRISPRFinder: a web tool to identify clustered regularly interspaced short palindromic repeats
Clustered regularly interspaced short palindromic repeats (CRISPRs) constitute a particular family of tandem repeats found in a wide range of prokaryotic genomes (half of eubacter...
Ibtissem Grissa, Gilles Vergnaud, Christine Pource...
IVA
2010
Springer
14 years 10 months ago
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...
IJRR
2007
186views more  IJRR 2007»
14 years 11 months ago
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract a person’s activities and significant plac...
Lin Liao, Dieter Fox, Henry A. Kautz
SIGSOFT
2006
ACM
15 years 5 months ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
DEBU
2010
127views more  DEBU 2010»
14 years 9 months ago
Provenance in ORCHESTRA
Sharing structured data today requires agreeing on a standard schema, then mapping and cleaning all of the data to achieve a single queriable mediated instance. However, for setti...
Todd J. Green, Grigoris Karvounarakis, Zachary G. ...