Sciweavers

3825 search results - page 316 / 765
» The Language of Time: A Reader
Sort
View
UM
2007
Springer
16 years 24 days ago
Conversations Amidst Computing: A Study of Interruptions and Recovery of Task Activity
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
Shamsi T. Iqbal, Eric Horvitz
CP
2005
Springer
16 years 6 days ago
Solving the Car-Sequencing Problem as a Non-binary CSP
A search algorithm based on non-binary forward checking (nFC) is used to solve the car-sequencing problem. The choice of value ordering heuristics having a dramatic effect on solu...
Mihaela Butaru, Zineb Habbas
ER
2005
Springer
94views Database» more  ER 2005»
16 years 6 days ago
Topological Relationships Between Complex Lines and Complex Regions
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
Markus Schneider, Thomas Behr
ICFCA
2004
Springer
16 years 1 days ago
Towards a Conceptual Theory of Indistinguishable Objects
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
Karl Erich Wolff
CC
2003
Springer
141views System Software» more  CC 2003»
15 years 12 months ago
A New One-Pass Transformation into Monadic Normal Form
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
Olivier Danvy