Sciweavers

792 search results - page 52 / 159
» Reading What Machines
Sort
View
ICML
1998
IEEE
14 years 9 months ago
Genetic Programming and Deductive-Inductive Learning: A Multi-Strategy Approach
Genetic Programming (GP) is a machine learning technique that was not conceived to use domain knowledge for generating new candidate solutions. It has been shown that GP can bene ...
Ricardo Aler, Daniel Borrajo, Pedro Isasi
POPL
2010
ACM
14 years 6 months ago
On the Verification Problem for Weak Memory Models
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
Ahmed Bouajjani, Madanlal Musuvathi, Mohamed Faouz...
VEE
2005
ACM
218views Virtualization» more  VEE 2005»
14 years 2 months ago
The pauseless GC algorithm
Modern transactional response-time sensitive applications have run into practical limits on the size of garbage collected heaps. The heap can only grow until GC pauses exceed the ...
Cliff Click, Gil Tene, Michael Wolf
RSFDGRC
2007
Springer
124views Data Mining» more  RSFDGRC 2007»
14 years 3 months ago
Supporting Literature Exploration with Granular Knowledge Structures
Reading and literature exploration are important tasks of scientific research. However, conventional retrieval systems provide limited support for these tasks by concentrating on ...
Yiyu Yao, Yi Zeng, Ning Zhong
BCSHCI
2008
13 years 10 months ago
In search of tangible magic
This paper describes a small study of children's drawings in the context of tangible interaction. The study was intended to discover what children could draw that would indic...
Diana Yifan Xu, Janet C. Read, Robert Sheehan