Sciweavers

1382 search results - page 217 / 277
» Procedural Generation of Roads
Sort
View
TIC
2000
Springer
124views System Software» more  TIC 2000»
15 years 1 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
ICCAD
1991
IEEE
100views Hardware» more  ICCAD 1991»
15 years 1 months ago
Layout Driven Logic Restructuring/Decomposition
As feature sizes decrease and chip sizes increase, the area and performance of chips become dominated by the interconnect. In spite of this trend, most existing synthesis systems ...
Massoud Pedram, Narasimha B. Bhat
VLDB
1991
ACM
168views Database» more  VLDB 1991»
15 years 1 months ago
Semantic Modeling of Object Oriented Databases
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
Mokrane Bouzeghoub, Elisabeth Métais
DRR
2010
15 years 8 days ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma
ICIA
2007
15 years 5 days ago
Task Learning by Instruction: Benefits and Challenges for Intelligent Interactive Systems
The CALO desktop assistant aims to provide assistance through many AI technologies, including several techniques for learning to perform tasks. Based on our experiences implementi...
Jim Blythe, Prateek Tandon, Mandar Tillu