3353 search results - page 361 / 671 » Laver and set theory |
192
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
166
click to vote
ICWE
2007
Springer
16 years 28 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
187
click to vote
ISOLA
2007
Springer
16 years 28 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
341
click to vote
UIC
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents an activity recognition approach based on the tracking of a specific human actor’s current object manipulation actions, complemented by two kinds of situation...
173
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...