Sciweavers

1141 search results - page 76 / 229
» Analyzing Electroencephalograms Using Cloud Computing Techni...
Sort
View
KBSE
1997
IEEE
15 years 4 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
MHCI
2004
Springer
15 years 6 months ago
A Study on Gestural Interaction with a 3D Audio Display
The study reported here investigates the design and evaluation of a gesturecontrolled, spatially-arranged auditory user interface for a mobile computer. Such an interface may prov...
Georgios N. Marentakis, Stephen A. Brewster
90
Voted
ECCV
2002
Springer
16 years 2 months ago
Dense Motion Analysis in Fluid Imagery
Analyzing fluid motion is essential in number of domains and can rarely be handled using generic computer vision techniques. In this particular application context, we address two ...
Thomas Corpetti, Étienne Mémin, Patr...
CCS
2004
ACM
15 years 6 months ago
On achieving software diversity for improved network security using distributed coloring algorithms
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
Adam J. O'Donnell, Harish Sethu
135
Voted
PLILP
1994
Springer
15 years 4 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip