3819 search results - page 147 / 764 » Simple Easy Terms |
193
click to vote
FOIKS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
171
click to vote
MDM
2004
Springer
16 years 7 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
169
click to vote
MKM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
192
click to vote
NPC
2004
Springer
16 years 7 days ago
2004
Springer
Massively parallel computing systems are being built with thousands of nodes. Because of the high number of components, it is critical to keep these systems running even in the pre...
155
click to vote
WISA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Encapsulating messages in onions is one of the major techniques providing anonymous communication in computer networks. To some extent, it provides security against traf...