5634 search results - page 703 / 1127 » About Abstract Classes |
199
click to vote
ASPLOS
2006
ACM
16 years 26 days 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...
171
click to vote
COCO
2004
Springer
16 years 8 days 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....
207
click to vote
KR
2004
Springer
16 years 7 days 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...
201
click to vote
WABI
2001
Springer
15 years 11 months 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...
165
click to vote
SIGUCCS
2000
ACM
15 years 11 months 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...