80 search results - page 15 / 16 » The Logic of Perfect MV-algebras |
104
Voted
MKWI
2008
15 years 10 days ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
94
Voted
SIAMCOMP
2008
14 years 10 months ago
2008
Leslie Valiant recently proposed a theory of holographic algorithms. These novel algorithms achieve exponential speed-ups for certain computational problems compared to naive algo...
69
Voted
ARCS
2006
Springer
15 years 2 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
80
Voted
WICSA
2008
15 years 10 days ago
2008
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
99
Voted
JTAER
2008
14 years 11 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...