Sciweavers

5159 search results - page 876 / 1032
» Structural Testing of Executables
Sort
View
167
Voted
ADBIS
2000
Springer
119views Database» more  ADBIS 2000»
15 years 11 months ago
A Benchmarking Technique for DBMS's with Advanced Data Models
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...
Naphtali Rishe, Alexander Vaschillo, Dmitry Vasile...
AFPAC
2000
Springer
257views Mathematics» more  AFPAC 2000»
15 years 11 months ago
The Multidimensional Isotropic Generalization of Quadrature Filters in Geometric Algebra
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
Michael Felsberg, Gerald Sommer
215
Voted
AGENTS
2000
Springer
15 years 11 months ago
Tools for Developing and Monitoring Agents in Distributed Multi-Agent Systems
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
John R. Graham, Daniel McHugh, Michael Mersic, Fos...
AGP
1999
IEEE
15 years 11 months ago
ACI1 constraints
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
203
Voted
CHI
1999
ACM
15 years 11 months ago
Interactive 3D Sound Hyperstories for Blind Children
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
Mauricio Lumbreras, Jaime Sánchez