14403 search results - page 195 / 2881 » Dynamical Systems Trees |
140
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Users of hypertext systems like the World Wide Web (WWW) often find themselves following hypertext links deeper and deeper, only to find themselves “lost” and unable to fin...
133
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
129
click to vote
DIWEB
2001
15 years 6 months ago
2001
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...
131
click to vote
ACL
2000
15 years 6 months ago
2000
This paper reports the first part of a project that aims to develop a knowledge extraction and knowledge discovery system that extracts causal knowledge from textual databases. In...
150
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we consider state estimation carried over a sensor network. A fusion center forms a local multi-hop tree of sensors and gateways and fuses the data into a state e...