Sciweavers

2047 search results - page 69 / 410
» Interactive Immersive Design Application: Analysis of Requir...
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
Design and analysis of matching circuit architectures for a closest match lookup
— This paper investigates the implementation of a number of circuits used to perform a high speed closest value match lookup. The design is targeted particularly for use in a sea...
Kieran McLaughlin, Friederich Kupzog, Holger Blume...
DEXAW
2004
IEEE
209views Database» more  DEXAW 2004»
14 years 29 days ago
Spatio-Temporal Data Warehouse Design for Human Activity Pattern Analysis
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
Lionel Savary, Tao Wan, Karine Zeitouni
CADE
2004
Springer
14 years 9 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson
CSCWD
2005
Springer
13 years 11 months ago
Analytic Evaluation of Groupware Design
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
Pedro Antunes, Marcos R. S. Borges, José A....
SEMWEB
2004
Springer
14 years 2 months ago
Semantic Web Service Interaction Protocols: An Ontological Approach
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
Ronald Ashri, Grit Denker, Darren Marvin, Mike Sur...