6607 search results - page 294 / 1322 » Making TeX Work |
121
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
118
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
124
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
The configuration of systems engineering methods is a challenging task. As a method engineer it is essential to have conceptual constructs capable of reducing the burden of details...
136
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
117
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Searching for similar objects (in terms of near and nearest neighbors) of a given query object from a large set is an essential task in many applications. Recent years have seen g...