Sciweavers

10997 search results - page 313 / 2200
» On the Structure of Complete Sets
Sort
View

Book
1569views
17 years 6 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
ICCV
2005
IEEE
16 years 8 months ago
Shape and Appearance Repair for Incomplete Point Surfaces
This paper presents a new surface content completion framework that can restore both shape and appearance from scanned, incomplete point set inputs. First, the geometric holes can...
Seyoun Park, Xiaohu Guo, Hayong Shin, Hong Qin
ISSAC
2001
Springer
123views Mathematics» more  ISSAC 2001»
15 years 11 months ago
On computational properties of chains of recurrences
Backward and mixed chains of recurrences are introduced. A complete set of chains of recurrences manipulation tools is described. Applications of these tools, related to the safet...
Eugene V. Zima
QEST
2010
IEEE
15 years 4 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
CONCUR
2003
Springer
16 years 1 days ago
Bundle Event Structures and CCSP
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
Rob J. van Glabbeek, Frits W. Vaandrager