Sciweavers

537 search results - page 20 / 108
» Problems from CGCS Luminy, May 2007
Sort
View
AMC
2006
114views more  AMC 2006»
14 years 11 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
15 years 5 months 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 1 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 18 days 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 16 days 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