Sciweavers

2714 search results - page 152 / 543
» On the Notion of Value Object
Sort
View
RTSS
2006
IEEE
16 years 13 days ago
Mutual Consistency in Real-Time Databases
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham
CAIP
2007
Springer
143views Image Analysis» more  CAIP 2007»
16 years 18 days ago
A Level Set Bridging Force for the Segmentation of Dendritic Spines
The paper focusses on a group of segmentation problems dealing with 3D data sets showing thin objects that appear disconnected in the data due to partial volume effects or a large...
Karsten Rink, Klaus D. Tönnies
MOBICOM
2004
ACM
15 years 12 months ago
Revisiting the TTL-based controlled flooding search: optimality and randomization
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...
Nicholas B. Chang, Mingyan Liu
CADE
2001
Springer
16 years 6 months ago
Canonical Propositional Gentzen-Type Systems
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
Arnon Avron, Iddo Lev
ICFP
2007
ACM
16 years 6 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott