22018 search results - page 4190 / 4404 » or 2004 |
189
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
177
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
204
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
167
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Recent statistical performance surveys of search algorithms in difficult combinatorial problems have demonstrated the benefits of randomising and restarting the search procedure. ...
171
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
The aim of this paper is to study the feasibility of using (irreversible) entropy production as driving force for a moving mesh. Such a method should be able to capture or track p...