1938 search results - page 131 / 388 » On Positive Relational Calculi |
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
ISWC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes a localization method with wearable electromagnetic sensor and orientation sensor for wearable computer users. Many user localization methods have been invest...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
CW
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes a novel solution to problems associated with interactive display of immersive stereographic imagery via Apple’s QuickTime Virtual Reality (QTVR) technology....