Sciweavers

5683 search results - page 889 / 1137
» Interactive Schedulability Analysis
Sort
View
182
Voted
MOZ
2004
Springer
15 years 11 months ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
STDBM
2004
Springer
171views Database» more  STDBM 2004»
15 years 11 months ago
Extracting Mobility Statistics from Indexed Spatio-Temporal Datasets
With the recent progress of spatial information technologies and mobile computing technologies, spatio-temporal databases which store information on moving objects including vehicl...
Yoshiharu Ishikawa, Yuichi Tsukamoto, Hiroyuki Kit...
WEBI
2004
Springer
15 years 11 months ago
An Integrated Approach to Discovery in Complex Information Spaces
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
Daryl H. Hepting, Cory J. Butz
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 11 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
VISUALIZATION
2003
IEEE
15 years 11 months ago
A Frequency-Sensitive Point Hierarchy for Images and Volumes
This paper introduces a method for converting an image or volume sampled on a regular grid into a space-efficient irregular point hierarchy. The conversion process retains the ori...
Tomihisa Welsh, Klaus Mueller