1237 search results - page 114 / 248 » Abstract shade trees |
176
click to vote
CACM
1998
15 years 4 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
113
click to vote
TACAS
2010
Springer
16 years 13 hour ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
156
click to vote
VLSID
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
119
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—We introduce and validate Spatiotemporal Relational Random Forests, which are random forests created with spatiotemporal relational probability trees. We build on the do...
139
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents a novel method for sensorbased exploration of unknown environments by a general robotic system equipped with multiple sensors. The method is based o...