Sciweavers

1757 search results - page 236 / 352
» Integrating and Extending JCSP
Sort
View
ICIP
2007
IEEE
16 years 1 months ago
Relative Position-Based Spatial Relationships using Mathematical Morphology
Spatial information is a crucial aspect of image understanding for modeling context as well as resolving the uncertainties caused by the ambiguities in low-level features. We desc...
Ramazan Gokberk Cinbis, Selim Aksoy
ICIW
2007
IEEE
16 years 1 months ago
Context-aware Web Services for Distributed Retrieval of Points of Interest
Due to the widespread availability of accurate localization technologies, navigation systems are more and more present on mobile devices. These applications usually provide facili...
Claudio Bettini, Daniele Riboni
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 1 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
RTAS
2007
IEEE
16 years 1 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
SAINT
2007
IEEE
16 years 1 months ago
SPICE: Evolving IMS to Next Generation Service Platforms
Today's wireless and mobile services are typically monolithic and often centralized in nature, which limits heterogeneous service access and shared service usage. New sources...
Sasu Tarkoma, Christian Prehofer, Anna V. Zhdanova...