3600 search results - page 467 / 720 » The settling-time reducibility ordering |
185
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...
189
click to vote
DBKDA
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—XML indexing and search has become an important topic, and twig joins are key building blocks in XML search systems. This paper describes a novel approach using a nested...
135
click to vote
JCDL
2010
ACM
15 years 11 months ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
187
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
168
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...