Sciweavers

6583 search results - page 856 / 1317
» Semantic Analysis Patterns
Sort
View
VMCAI
2004
Springer
16 years 1 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
223
Voted
CA
2003
IEEE
16 years 1 months ago
How Believable Are Real Faces? Towards a Perceptual Basis for Conversational Animation
Regardless of whether the humans involved are virtual or real, well-developed conversational skills are a necessity. The synthesis of interface agents that are not only understand...
Douglas W. Cunningham, Martin Breidt, Mario Kleine...
HICSS
2003
IEEE
123views Biometrics» more  HICSS 2003»
16 years 29 days ago
Adoption of Collaboration Information Technologies in Australian and US Organizations: A Comparative Study
Collaboration to accomplish tasks has taken on a new meaning over the past few years. The majority of organizations are viewing information technology (IT) as a key enabler to tra...
Deepinder S. Bajwa, L. Floyd Lewis, Graham Pervan
SIGIR
2003
ACM
16 years 28 days ago
HAT: a hardware assisted TOP-DOC inverted index component
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
S. Kagan Agun, Ophir Frieder
203
Voted
IBPRIA
2003
Springer
16 years 27 days ago
A User Authentication Technic Using a~Web Interaction Monitoring System
User authentication based on biometrics has explored both physiological and behavioral characteristics. We present a system, called Web Interaction Display and Monitoring (WIDAM), ...
Hugo Gamboa, Ana L. N. Fred