Sciweavers

3149 search results - page 546 / 630
» Users in Context
Sort
View
149
Voted
ATAL
2010
Springer
15 years 4 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...
134
Voted
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 4 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
133
Voted
CADE
2010
Springer
15 years 4 months ago
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Brigitte Pientka, Joshua Dunfield
158
Voted
ERCIMDL
2010
Springer
142views Education» more  ERCIMDL 2010»
15 years 4 months ago
Effective Term Weighting for Sentence Retrieval
A well-known challenge of information retrieval is how to infer a user's underlying information need when the input query consists of only a few keywords. Question Answering (...
Saeedeh Momtazi, Matthew Lease, Dietrich Klakow
134
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Collaborative Cellular-Based Location System
Abstract. A large number of techniques for location estimation relying on the existing wireless radio infrastructures have been proposed in the last few years. Solutions relying on...
David Navalho, Nuno M. Preguiça