2083 search results - page 14 / 417 » Perception and Experience in Problem Solving |
STTT
2010
13 years 3 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
IEAAIE
2001
Springer
14 years 26 days ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
WSC
1997
13 years 9 months ago
1997
For many companies the scheduling of job shops proves very difficult. Competing priorities (due dates, potential profit) from multiple customers confronts the plant manager with m...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
The performance and immersiveness of telepresence and teleaction systems critically depend on the quality of the communication between the operator and the teleoperator. High pack...