3379 search results - page 113 / 676 » Combinators for Interaction Nets |
140
click to vote
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a new method of combining dynamic control of LOD and conservative occlusion culling based on a new hierarchical data structure of polygons. Our method is effec...
132
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
Considerable effort has been put towards developing intelligent and natural interfaces between users and computer systems. This is done by means of a variety of modes of informati...
145
click to vote
DLOG
2011
14 years 7 months ago
2011
We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose ...
114
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Wireless and positioning technologies in combination with Internet’s demonstrated capability to integrate voice and data, further leveraged by the use
179
click to vote
BCSHCI
2009
15 years 1 months ago
2009
Credibility influences a user's interest in a web site. Once users perceive the credibility of a web site they will be more likely to use it. A combination of factors affects...