Sciweavers

1045 search results - page 156 / 209
» Stepping into the Interactive Drama
Sort
View
ICLP
2005
Springer
15 years 5 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
99
Voted
RECOMB
2005
Springer
15 years 5 months ago
Examination of the tRNA Adaptation Index as a Predictor of Protein Expression Levels
Phenotypic differences between closely-related species may arise from differential expression regimes, rather than different gene complements. Knowledge of cellular protein levels ...
Orna Man, Joel L. Sussman, Yitzhak Pilpel
COMPGEOM
2004
ACM
15 years 5 months ago
A computational framework for incremental motion
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
David M. Mount, Nathan S. Netanyahu, Christine D. ...
CSCW
2004
ACM
15 years 5 months ago
Lilsys: Sensing Unavailability
As communications systems increasingly gather and propagate information about people’s reachability or “presence”, users need better tools to minimize undesired interruption...
James Begole, Nicholas E. Matsakis, John C. Tang
IUI
2004
ACM
15 years 5 months ago
Supporting user hypotheses in problem diagnosis
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
Earl J. Wagner, Henry Lieberman