394 search results - page 34 / 79 » An Abstract Domain of Uninterpreted Functions |
MAGS
2007
13 years 7 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
WISTP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The distribution of virtual goods like multimedia data relies on the trustworthiness of the distribution system. Recent concepts for the distribution based on peer to pee...
ETS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a wrapper design for interconnects with guaranteed bandwidth and latency services and on-chip protocol. strate that these interconnects abstract the interconne...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...