3824 search results - page 46 / 765 » Geometry Constructions Language |
104
click to vote
ICDT
1997
ACM
15 years 1 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
101
click to vote
AIML
2008
14 years 11 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
100
click to vote
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
This study examines the comprehension and modification by novices of programs written with taskspecific and non-task-specific constructs. Teachers who write programs for use in th...
116
click to vote
TOG
2012
13 years 5 days ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
DLOG
2008
14 years 10 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...