Sciweavers

2498 search results - page 325 / 500
» Data Structures with Unpredictable Timing
Sort
View
TAMC
2009
Springer
16 years 29 days ago
The Extended Turing Model as Contextual Tool
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
S. Barry Cooper
163
Voted
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 6 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
ICLP
1992
Springer
15 years 10 months ago
Records for Logic Programming
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
Gert Smolka, Ralf Treinen
153
Voted
CVPR
2007
IEEE
16 years 8 months ago
Consistent Temporal Variations in Many Outdoor Scenes
This paper details an empirical study of large image sets taken by static cameras. These images have consistent correlations over the entire image and over time scales of days to ...
Nathan Jacobs, Nathaniel Roman, Robert Pless
ICIP
2002
IEEE
16 years 8 months ago
An efficient packetization algorithm for JPEG2000
This paper presents an efficient algorithm for post compression optimal rate allocation and packetization within JPEG2000 encoding. JPEG2000, the new ISO/ITU-T standard for still ...
Wei Yu Fritts, J. Tangting Sun