2957 search results - page 249 / 592 » Processing Self Corrections |
134
click to vote
ISAAC
1994
Springer
15 years 10 months ago
1994
Springer
We describe a substring search problem that arises in group presentation simplification processes. We suggest a two-level searching model: skip and match levels. We give two timest...
204
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
185
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
153
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
We describe a question answering system for Dutch that we used for our participation in the 2006 CLEF Question Answering Dutch monolingual task. We give an overview of the system a...
199
click to vote
BPM
2000
Springer
15 years 10 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...