4708 search results - page 207 / 942 » Generating the Structure of Argument |
197
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
156
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
177
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
195
click to vote
GMP
2002
IEEE
15 years 11 months ago
2002
IEEE
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...
197
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
An evolutionary algorithm is used to design a finite impulse response digital filter with reduced power consumption. The proposed design approach combines genetic optimization an...