573 search results - page 77 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
159
click to vote
ICDE
1996
IEEE
15 years 11 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
113
click to vote
CSL
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ICDCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Resource discovery is an important process for finding suitable nodes that satisfy application requirements in large loosely-coupled distributed systems. Besides inter-node heter...
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
Troubleshooting unresponsive sensor nodes is a significant challenge in remote sensor network deployments. This paper introduces the tele-diagnostic powertracer, an in-situ troub...
102
click to vote
GI
1998
Springer
15 years 2 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...