Sciweavers

7 search results - page 1 / 2
» Admissible Bases Via Stable Canonical Rules
Sort
View
ENTCS
2007
140views more  ENTCS 2007»
13 years 4 months ago
Admissible Representations of Probability Measures
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...
Matthias Schröder
CORR
2004
Springer
124views Education» more  CORR 2004»
13 years 4 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini
KDD
2008
ACM
183views Data Mining» more  KDD 2008»
14 years 5 months ago
De-duping URLs via rewrite rules
A large fraction of the URLs on the web contain duplicate (or near-duplicate) content. De-duping URLs is an extremely important problem for search engines, since all the principal...
Anirban Dasgupta, Ravi Kumar, Amit Sasturkar
ICCV
2005
IEEE
14 years 6 months ago
Designing Spatially Coherent Minimizing Flows for Variational Problems Based on Active Contours
This paper tackles an important aspect of the variational problems involving active contours, which has been largely overlooked so far: the optimization by gradient flows. Classic...
Guillaume Charpiat, Renaud Keriven, Jean-Philippe ...
AMC
2007
177views more  AMC 2007»
13 years 4 months ago
Quadratic stability and stabilization of switched dynamic systems with uncommensurate internal point delays
This paper deals with the quadratic stability and linear state-feedback and output-feedback stabilization of switched delayed linear dynamic systems with, in general, a finite nu...
Manuel de la Sen