Sciweavers

7064 search results - page 273 / 1413
» From States to Histories
Sort
View
150
Voted
RTA
2005
Springer
16 years 6 days ago
Open. Closed. Open
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
Nachum Dershowitz
CSCW
2004
ACM
16 years 5 days ago
BusyBody: creating and fielding personalized models of the cost of interruption
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
Eric Horvitz, Paul Koch, Johnson Apacible
ADBIS
2004
Springer
134views Database» more  ADBIS 2004»
16 years 4 days ago
Towards Quadtree-Based Moving Objects Databases
Nowadays, one of the main research issues of great interest is the efficient tracking of mobile objects that enables the effective answering of spatiotemporal queries. This line o...
Katerina Raptopoulou, Michael Vassilakopoulos, Yan...
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
16 years 3 days ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
PPSN
2004
Springer
16 years 2 days ago
The Ising Model: Simple Evolutionary Algorithms as Adaptation Schemes
The investigation of evolutionary algorithms as adaptation schemes has a long history starting with Holland (1975). The Ising model from physics leads to a variety of different pr...
Patrick Briest, Dimo Brockhoff, Bastian Degener, M...