Sciweavers

7623 search results - page 1199 / 1525
» Constructive Volume Modeling
Sort
View
JAPLL
2010
179views more  JAPLL 2010»
15 years 3 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
127
Voted
JIS
2010
125views more  JIS 2010»
15 years 3 months ago
Representing and sharing folksonomies with semantics
Websites that provide content creation and sharing features have become quite popular recently. These sites allow users to categorize and browse content using ‘tags’ or free-t...
Hak Lae Kim, Stefan Decker, John G. Breslin
PTS
2010
132views Hardware» more  PTS 2010»
15 years 3 months ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
RV
2010
Springer
110views Hardware» more  RV 2010»
15 years 3 months ago
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
Malay K. Ganai, Chao Wang
152
Voted
SPRINGSIM
2010
15 years 3 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
« Prev « First page 1199 / 1525 Last » Next »