Sciweavers

4708 search results - page 361 / 942
» Generating the Structure of Argument
Sort
View
CSREAESA
2004
15 years 8 months ago
Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
Lubomir Ivanov
WSCG
2001
98views more  WSCG 2001»
15 years 8 months ago
Geometric Simplification for Efficient Occlusion Culling in Urban Scenes
Most occlusion culling algorithms select a subset of suitable occluder planes or geometries to exclude invisible objects from further visualization processing. Preferably these oc...
Rick Germs, Frederik W. Jansen
NAACL
1994
15 years 8 months ago
Information Based Intonation Synthesis
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
Scott Prevost, Mark Steedman
COMSIS
2007
166views more  COMSIS 2007»
15 years 6 months ago
Prototype environment for controller programming in the IEC 61131-3 ST language
A prototype compiler of the ST language (Structured Text), its operation and internal structure is presented. The compiler is a principal part of CPDev engineering environment for ...
Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus
JOT
2007
74views more  JOT 2007»
15 years 6 months ago
ClassSheets - model-based, object-oriented design of spreadsheet applications
Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications. ...
Jan-Christopher Bals, Fabian Christ, Gregor Engels...