32032 search results - page 6108 / 6407 » Verified programming in Guru |
185
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
192
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
185
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
226
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
197
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Nearly all network applications rely on the global Internet routing infrastructure to compute routes and deliver packets. Unfortunately, false Internet routes can be maliciously in...