Sciweavers

943 search results - page 123 / 189
» Writing Information into DNA
Sort
View
JAIR
2010
111views more  JAIR 2010»
15 years 3 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
149
Voted
SPATIALCOGNITION
2010
Springer
15 years 2 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
15 years 2 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
15 years 2 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 11 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...