3091 search results - page 407 / 619 » The Color Between Two Others |
176
click to vote
RTSS
2007
IEEE
16 years 13 days ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
159
click to vote
CLEF
2007
Springer
16 years 10 days ago
2007
Springer
The fifth QA campaign at CLEF, the first having been held in 2006. was characterized by continuity with the past and at the same time by innovation. In fact, topics were introduce...
151
click to vote
COLT
2007
Springer
16 years 10 days ago
2007
Springer
In the standard model of observational learning, n agents sequentially decide between two alternatives a or b, one of which is objectively superior. Their choice is based on a stoc...
169
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
165
click to vote
ECSQARU
2007
Springer
16 years 10 days ago
2007
Springer
In this paper we describe an approach to classifying objects in a domain where classifications are uncertain using a novel combination of argumentation and data mining. Classific...