Sciweavers

5668 search results - page 193 / 1134
» Overlaps in Requirements Engineering
Sort
View
FMCAD
2007
Springer
15 years 7 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
AAAI
1993
15 years 5 months ago
Numeric Reasoning with Relative Orders of Magnitude
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
Philippe Dague
129
Voted
ICIP
2006
IEEE
16 years 5 months ago
Improved Multiplexed Image Reconstruction Performance Through Optical System Diversity Design
Multiplexed image reconstruction, estimating high resolution images from multiple low resolution images with highly overlapped fields of view, is improved when the magnification o...
Sally L. Wood, Hsueh-Ban Lan, Dinesh Rajan, Marc P...
ICRA
2002
IEEE
80views Robotics» more  ICRA 2002»
15 years 8 months ago
Parallel Processing of One-Sided Radon Transform for the Realtime Detection of Position and Orientation of Planar Motion Objects
In this article, we will develop parallel processing of one-sided Radon transform for the detection of the position and the orientation of a planar motion object. Detection of pla...
Tatsuhiko Tsuboi, Masakazu Zakouji, Akihiro Masubu...
152
Voted
AINA
2007
IEEE
15 years 7 months ago
An Agent-Based Architecture for Context-Aware Communication
We propose an agent-based architecture that allows context-aware communication between users. In seeking a model that is suitable for the design of the required functionalities of...
Romelia Plesa, Luigi Logrippo