3235 search results - page 180 / 647 » Partial Redundant Modeling |
138
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
131
click to vote
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
131
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
115
click to vote
FLAIRS
2001
15 years 6 months ago
2001
Wereviewand extendthe qualitative relationships about the informational relevanceof variables in graphical decision modelsbased on conditional independenciesrevealedthroughgraphic...
132
click to vote
ACL
1998
15 years 6 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...