Sciweavers

2958 search results - page 264 / 592
» Extending and Implementing RASP
Sort
View
115
Voted
IVC
2006
123views more  IVC 2006»
15 years 13 days ago
Multi camera image tracking
This paper presents a method for multi camera image tracking in the context of image surveillance. The approach differs from most methods in that we exploit multiple camera views ...
James Black, Tim Ellis
108
Voted
JMLR
2008
104views more  JMLR 2008»
15 years 13 days ago
Learning Reliable Classifiers From Small or Incomplete Data Sets: The Naive Credal Classifier 2
In this paper, the naive credal classifier, which is a set-valued counterpart of naive Bayes, is extended to a general and flexible treatment of incomplete data, yielding a new cl...
Giorgio Corani, Marco Zaffalon
JALC
2006
95views more  JALC 2006»
15 years 13 days ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
117
Voted
JNW
2008
149views more  JNW 2008»
15 years 13 days ago
Improving Semantic Web Service Discovery
Semantic Web Services (SWS) propose to extend the traditional Web Services technologies on the way to consolidate ontologies and semantics. This makes it possible to select, integr...
J. Javier Samper, F. Javier Adell, Leo van den Ber...
113
Voted
JAR
2006
95views more  JAR 2006»
15 years 13 days ago
Mechanizing and Improving Dependency Pairs
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
Jürgen Giesl, René Thiemann, Peter Sch...