Sciweavers

1546 search results - page 95 / 310
» Thoughts on solution concepts
Sort
View
AAAI
2007
13 years 11 months ago
Population-Based Simulated Annealing for Traveling Tournaments
This paper reconsiders the travelling tournament problem, a complex sport-scheduling application which has attracted significant interest recently. It proposes a population-based...
Pascal Van Hentenryck, Yannis Vergados
CRIWG
2006
13 years 10 months ago
Polyphonic Support for Collaborative Learning
This paper argues that one reason for the success of collaborative problem solving where individual attempts failed is the polyphonic character of work in small groups. Polyphony, ...
Stefan Trausan-Matu, Gerry Stahl, Johann W. Sarmie...
JISBD
2003
13 years 10 months ago
A Conceptual Modelling Pattern for Roles
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
Ruth Raventós, Jordi Cabot
ENTCS
2008
94views more  ENTCS 2008»
13 years 9 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
IAJIT
2008
90views more  IAJIT 2008»
13 years 9 months ago
From e-Manufacturing to M-Manufacturing
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
Faiza Bouchoul, Mohamed Mostefai