1162 search results - page 135 / 233 » An Integrated Approach to Discovery in Complex Information S... |
160
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
150
click to vote
NIPS
2004
15 years 7 months ago
2004
Complex objects can often be conveniently represented by finite sets of simpler components, such as images by sets of patches or texts by bags of words. We study the class of posi...
169
click to vote
MICAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
191
click to vote
ECRTS
2006
IEEE
16 years 14 days ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
179
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...