5638 search results - page 336 / 1128 » On presence |
175
click to vote
EUROGP
2007
Springer
16 years 29 days ago
2007
Springer
A Genetic Programming based boosting ensemble method for the classification of distributed streaming data is proposed. The approach handles flows of data coming from multiple loc...
163
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
176
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
179
click to vote
FMCAD
2007
Springer
16 years 29 days ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
180
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...