Sciweavers

10997 search results - page 38 / 2200
» On the Structure of Complete Sets
Sort
View
CC
2005
Springer
153views System Software» more  CC 2005»
14 years 3 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
DALT
2005
Springer
14 years 3 months ago
Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
Thomas Ågotnes, Michal Walicki
BMCBI
2006
81views more  BMCBI 2006»
13 years 10 months ago
Multipolar representation of protein structure
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...
Apostol Gramada, Philip E. Bourne
CCCG
2008
13 years 11 months ago
A Distributed Algorithm for Computing Voronoi Diagram in the Unit Disk Graph Model
We study the problem of computing Voronoi diagrams distributedly for a set of nodes of a network modeled as a Unit Disk Graph (UDG). We present an algorithm to solve this problem ...
Yurai Núñez Rodríguez, Henry ...
CVPR
2004
IEEE
15 years 14 hour ago
Capturing Image Structure with Probabilistic Index Maps
One of the major problems in modeling images for vision tasks is that images with very similar structure may locally have completely different appearance, e.g., images taken under...
Nebojsa Jojic, Yaron Caspi