Sciweavers

27692 search results - page 168 / 5539
» Where is ...
Sort
View
ICSE
2009
IEEE-ACM
14 years 11 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
POPL
2009
ACM
14 years 11 months ago
Flexible types: robust type inference for first-class polymorphism
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
Daan Leijen
CHI
2009
ACM
14 years 11 months ago
Give peace a chance: a call to design technologies for peace
Peace is an extremely important value for humankind, yet it has been largely ignored by the computing and human-computer interaction community. This paper seeks to begin a discuss...
Juan Pablo Hourcade
KDD
2002
ACM
108views Data Mining» more  KDD 2002»
14 years 10 months ago
Incremental Machine Learning to Reduce Biochemistry Lab Costs in the Search for Drug Discovery
This paper promotes the use of supervised machine learning in laboratory settings where chemists have a large number of samples to test for some property, and are interested in id...
George Forman
CHI
2005
ACM
14 years 10 months ago
A simple movement time model for scrolling
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
Tue Haste Andersen