6800 search results - page 504 / 1360 » Testing with Functions as Specifications |
178
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
208
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
227
click to vote
ICSOFT
2007
15 years 9 months ago
2007
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
232
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
180
click to vote
ANLP
1994
15 years 9 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...