526 search results - page 46 / 106 » Type Abstractions of Name-Passing Processes |
156
click to vote
SOFTWARE
1998
15 years 3 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
126
Voted
VLC
2010
15 years 1 months ago
2010
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
147
click to vote
CGF
2011
14 years 7 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
124
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
130
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...