Sciweavers

537 search results - page 20 / 108
» Problems from CGCS Luminy, May 2007
Sort
View
AMC
2006
114views more  AMC 2006»
15 years 5 months ago
Definability as hypercomputational effect
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...
S. Barry Cooper
GLOBECOM
2007
IEEE
16 years 2 days ago
A MAC Protocol with Directional Antennas for Deafness Avoidance in Ad Hoc Networks
Abstract—Directional antennas are expected to provide significant improvements over omni-directional antennas in wireless ad hoc networks. Directional MAC protocols, however, int...
Masanori Takata, Masaki Bandai, Takashi Watanabe
AIPS
2007
15 years 8 months ago
Structural Patterns of Tractable Sequentially-Optimal Planning
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
Michael Katz, Carmel Domshlak
HCI
2007
15 years 7 months ago
Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions
Responding to computer-initiated notifications requires a shift in attention that disrupts the flow of work. The degree of cost associated with resuming the original task following...
Helen M. Hodgetts, Dylan M. Jones
FORTE
2003
15 years 7 months ago
Concerning the Ordering of Adaptive Test Sequences
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...
Robert M. Hierons, Hasan Ural