5634 search results - page 703 / 1127 » About Abstract Classes |
216
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
191
click to vote
COCO
2004
Springer
16 years 1 months ago
2004
Springer
We study several properties of sets that are complete for NP. We prove that if L is an NP-complete set and S ⊇ L is a p-selective sparse set, then L − S is ≤p m-hard for NP....
242
click to vote
KR
2004
Springer
16 years 1 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
220
click to vote
WABI
2001
Springer
16 years 2 days ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
183
click to vote
SIGUCCS
2000
ACM
16 years 12 hour ago
2000
ACM
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...