Sciweavers

4949 search results - page 324 / 990
» Consistency and Set Intersection
Sort
View
TARK
1998
Springer
15 years 11 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
EURODAC
1994
IEEE
117views VHDL» more  EURODAC 1994»
15 years 11 months ago
A hardware environment for prototyping and partitioning based on multiple FPGAs
This paper presents a multiple-FPGA-based experimentation board. The problem to be solved is that of implementing a circuit into a set of FPGAs. This board provides a hardware env...
Marc Wendling, Wolfgang Rosenstiel
CISM
1993
149views GIS» more  CISM 1993»
15 years 11 months ago
The Weak Instance Model
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
Paolo Atzeni, Riccardo Torlone
SEKE
1994
Springer
15 years 11 months ago
The object-oriented development of a distributed multimedia environmental information system
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. G...
DAGM
2006
Springer
15 years 10 months ago
Robust Variational Segmentation of 3D Objects from Multiple Views
We propose a probabilistic formulation of 3D segmentation given a series of images from calibrated cameras. Instead of segmenting each image separately in order to build a 3D surfa...
Kalin Kolev, Thomas Brox, Daniel Cremers