1422 search results - page 131 / 285 » Complementation in Abstract Interpretation |
158
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
133
click to vote
NN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...
106
click to vote
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Dissipation in the clock tree and state elements of ASIC designs is often a significant fraction of total energy consumption. We propose a methodology for recovering m...
152
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
125
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...