1445 search results - page 175 / 289 » Uniformly Hard Languages |
170
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
171
click to vote
JAPLL
2007
15 years 4 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
149
click to vote
TOG
2008
15 years 4 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
138
Voted
TOIT
2008
15 years 4 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
105
click to vote
IEEEMM
1998
15 years 4 months ago
1998
ract syntax notation ATM asynchronous transfer mode CCETT Centre Commun d’Etudes de Télédiffusion et Télécommunications Davic Digital Audio Visual Council DSMCC Digital Stora...