2944 search results - page 372 / 589 » On Well Quasi-orders on Languages |
170
click to vote
ISPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
178
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
160
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
The research proposed here concentrates on the problem of designing and developing a spoken query retrieval (SQR) system to access large document databases via voice. The main cha...
157
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
175
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...