1687 search results - page 318 / 338 » Light Functional Interpretation |
105
click to vote
ISMAR
2003
IEEE
15 years 7 months ago
2003
IEEE
A useful function of augmented reality (AR) systems is their ability to visualize occluded infrastructure directly in a user’s view of the environment. This is especially import...
103
click to vote
SCHULE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The problem of scheduling a weighted directed acyclic graph (DAG) to a set of homogeneous processors to minimize the completion time has been extensively studied. The NPcompletene...
133
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
117
click to vote
RE
1997
Springer
15 years 5 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...