3625 search results - page 384 / 725 » On choosing |
181
Voted
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
184
click to vote
EUROPKI
2004
Springer
16 years 1 months ago
2004
Springer
Despite a legal framework being in place for several years, the market share of qualified electronic signatures is disappointingly low. Mobile Signatures provide a new and promisin...
206
Voted
FASE
2004
Springer
16 years 1 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
206
click to vote
FORMATS
2004
Springer
16 years 1 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
195
click to vote
FPL
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Function evaluation is at the core of many compute-intensive applications which perform well on reconfigurable platforms. Yet, in order to implement function evaluation ...