Sciweavers

9842 search results - page 357 / 1969
» Compositional timing analysis
Sort
View
CORR
2011
Springer
239views Education» more  CORR 2011»
14 years 11 months ago
From Linked Data to Relevant Data -- Time is the Essence
The Semantic Web initiative puts emphasis not primarily on putting data on the Web, but rather on creating links in a way that both humans and machines can explore the Web of data...
Markus Kirchberg, Ryan K. L. Ko, Bu Sung Lee
JCDL
2006
ACM
104views Education» more  JCDL 2006»
15 years 11 months ago
Windowing time in digital libraries
This paper discusses the specification, organization, and utility of time references identified in digital library materials, emphasizing how to treat date references that cannot ...
Michael G. Christel
ICNC
2005
Springer
15 years 10 months ago
The Prediction of the Financial Time Series Based on Correlation Dimension
In this paper we firstly analysis the chaotic characters of three sets of the financial time series (Hang Sheng Index (HIS), Shanghai Stock Index and US gold price) based on the ph...
Chen Feng, Guangrong Ji, Wencang Zhao, Rui Nian
CAIP
2003
Springer
141views Image Analysis» more  CAIP 2003»
15 years 10 months ago
Towards a Real Time Panoramic Depth Sensor
Recently we have presented a system for panoramic depth imaging with a single standard camera. One of the problems of such a system is the fact that we cannot generate a stereo pai...
Peter Peer, Franc Solina
132
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs