2550 search results - page 161 / 510 » Difference Decision Diagrams |
153
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
190
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
When a query is submitted to a metasearch engine, decisions are made with respect to the underlying search engines to be used, what modifications will be made to the query, and ho...
160
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
151
click to vote
KBS
1998
15 years 6 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
166
click to vote
JAPLL
2010
15 years 1 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...