Sciweavers

179 search results - page 4 / 36
» The Three Dimensional Logic Engine
Sort
View
CISS
2010
IEEE
12 years 11 months ago
Using laser scanners for modeling and analysis in architecture, engineering, and construction
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
Daniel Huber, Burcu Akinci, Pingbo Tang, Antonio A...
APSEC
2005
IEEE
14 years 1 months ago
A Temporal Logic for Input Output Symbolic Transition Systems
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
Marc Aiguier, Pascale Le Gall, Delphine Longuet, A...
IPPS
2006
IEEE
14 years 1 months ago
Mapping DSP applications on processor systems with coarse-grain reconfigurable hardware
In this paper, we present performance results from mapping five real-world DSP applications on an embedded system-on-chip that incorporates coarse-grain reconfigurable logic with ...
Michalis D. Galanis, Grigoris Dimitroulakos, Const...
VISUALIZATION
2002
IEEE
14 years 8 days ago
A Radial Focus+Context Visualization for Multi-Dimensional Functions
The analysis of multidimensional functions is important in many engineering disciplines, and poses a major problem as the number of dimensions increases. Previous visualization ap...
Sanjini Jayaraman, Chris North
VLDB
1994
ACM
102views Database» more  VLDB 1994»
13 years 11 months ago
Reasoning About Spatial Relationships in Picture Retrieval Systems
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
A. Prasad Sistla, Clement T. Yu, R. Haddad