3363 search results - page 539 / 673 » A Framework for Knowledge Reuse |
122
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
148
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
142
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a novel approach for those applications where vocabulary is defined by a set of acoustic samples. In this approach, the acoustic samples are used as reference...
132
click to vote
SSDBM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Relational database systems are becoming increasingly popular in the scientific community to support the interactive exploration of large volumes of data. In this scenar...
147
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Recently, there have been several promising techniques developed for schedulability analysis and response time analysis for multiprocessor systems based on over-approximation. Thi...