Sciweavers

4324 search results - page 365 / 865
» A Generalized Representer Theorem
Sort
View
PODS
2011
ACM
201views Database» more  PODS 2011»
14 years 9 months ago
Data exchange beyond complete data
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
Marcelo Arenas, Jorge Pérez, Juan L. Reutte...
LICS
2008
IEEE
16 years 1 months ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski
AAAI
1998
15 years 8 months ago
OKBC: A Programmatic Foundation for Knowledge Base Interoperability
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, P...
CGF
2006
183views more  CGF 2006»
15 years 6 months ago
Data-driven Local Coordinate Systems for Image-Based Rendering
Image-based representations of an object profit from known geometry. The more accurate this geometry is known, the better corresponding pixels in the different images can be align...
Gero Müller, Ralf Sarlette, Reinhard Klein
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 6 months ago
Two polygraphic presentations of Petri nets
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
Yves Guiraud