Sciweavers

1389 search results - page 97 / 278
» Lightweight dependent classes
Sort
View
STACS
2009
Springer
15 years 6 months ago
Tractable Structures for Constraint Satisfaction with Truth Tables
The way the graph structure of the constraints influences the complexity of constraint satisfaction problems (CSP) is well understood for bounded-arity constraints. The situation...
Dániel Marx
ANSS
2007
IEEE
15 years 5 months ago
The Impact of the Mobility Model on Delay Tolerant Networking Performance Analysis
— Delay tolerant networks (DTNs) are a class of networks that experience frequent and long-duration partitions due to sparse distribution of nodes. The topological impairments ex...
Muhammad Abdulla, Robert Simon
SMI
2007
IEEE
129views Image Analysis» more  SMI 2007»
15 years 5 months ago
Automatic 2D Shape Orientation by Example
As large shape repositories become more common, the problem of automatically generating good views of shapes has recently gained prominence. However, very few of the proposed meth...
Waqar Saleem, Danyi Wang, Alexander G. Belyaev, Ha...
RTA
2007
Springer
15 years 5 months ago
Intruders with Caps
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
Siva Anantharaman, Paliath Narendran, Michaël...
TLCA
2007
Springer
15 years 5 months ago
Predicative Analysis of Feasibility and Diagonalization
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
Jean-Yves Marion