3073 search results - page 268 / 615 » Real World Verification |
178
click to vote
ISMAR
2005
IEEE
16 years 8 days ago
2005
IEEE
The lack of image brightness is a common problem in optical see-through head-mounted displays (OST-HMD) where a beamsplitter is required to combine views from HMD image source and...
203
click to vote
WWW
2005
ACM
16 years 7 days ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
137
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
178
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
173
click to vote
DALT
2005
Springer
16 years 6 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...