5634 search results - page 285 / 1127 » About Abstract Classes |
138
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
169
click to vote
EWSN
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. The accuracy of link-quality estimators (LQE) is missioncritical in many application scenarios in wireless sensor networks (WSN), since the link-quality metric is used fo...
203
click to vote
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
309
click to vote
COSIT
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
260
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...