Sciweavers

5699 search results - page 306 / 1140
» Alternating model trees
Sort
View
184
Voted
DAC
1999
ACM
16 years 8 months ago
Representation of Function Variants for Embedded System Optimization and Synthesis
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
Dirk Ziegenbein, Jürgen Teich, Kai Richter, L...
192
Voted
CP
2005
Springer
15 years 9 months ago
A Linear-Logic Semantics for Constraint Handling Rules
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
Hariolf Betz, Thom W. Frühwirth
171
Voted
ACL
2006
15 years 8 months ago
Guiding a Constraint Dependency Parser with Supertags
We investigate the utility of supertag information for guiding an existing dependency parser of German. Using weighted constraints to integrate the additionally available informat...
Kilian A. Foth, Tomas By, Wolfgang Menzel
169
Voted
ACL
1998
15 years 8 months ago
A Text Understander that Learns
We introduce an approach to the automatic acquisition of new concepts fi'om natural language texts which is tightly integrated with the underlying text understanding process....
Udo Hahn, Klemens Schnattinger
189
Voted
LOGCOM
2006
116views more  LOGCOM 2006»
15 years 7 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo