1775 search results - page 165 / 355 » Antichains on Three Levels |
111
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
117
click to vote
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
While researchers have invested substantial effort to build architectural power models, validating such models has proven difficult at best. In this paper, we examine the accurac...
VRST
2009
ACM
2009
ACM
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
15 years 8 months ago
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
106
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...