Sciweavers

943 search results - page 123 / 189
» Writing Information into DNA
Sort
View
JAIR
2010
111views more  JAIR 2010»
14 years 10 months ago
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
Johan Wittocx, Maarten Mariën, Marc Denecker
SPATIALCOGNITION
2010
Springer
14 years 10 months ago
Can Mirror-Reading Reverse the Flow of Time?
Abstract. Across cultures, people conceptualize time as if it flows along a horizontal timeline, but the direction of this implicit timeline is culture-specific: in cultures with l...
Daniel Casasanto, Roberto Bottini
ICMLA
2010
14 years 9 months ago
Robust Learning for Adaptive Programs by Leveraging Program Structure
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
ICDAR
2009
IEEE
14 years 9 months ago
Pen Acoustic Emissions for Text and Gesture Recognition
The sounds generated by a writing instrument provide a rich and under-utilized source of information for pattern recognition. We examine the feasibility of recognition of handwrit...
Andrew G. Seniuk, Dorothea Blostein
WWW
2011
ACM
14 years 6 months ago
Identifying enrichment candidates in textbooks
Many textbooks written in emerging countries lack clear and adequate coverage of important concepts. We propose a technological solution for algorithmically identifying those sect...
Rakesh Agrawal, Sreenivas Gollapudi, Anitha Kannan...