14165 search results - page 509 / 2833 » The generalized two-server problem |
162
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
The minimization problem for Horn formulas is to find a Horn formula equivalent to a given Horn formula, using a minimum number of clauses. A 2log1−ǫ (n) -inapproximability re...
135
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A fundamental problem in the field of motor neuroscience is to understand how our brain generates appropriate motor commands for precise movements effortlessly. The problem se...
157
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard...
202
click to vote
COCOON
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Hierarchical graphs are an important class of graphs for modelling many real applications in software and information visualization. In this paper, we shall investigate t...
162
click to vote
SEKE
1992
Springer
15 years 11 months ago
1992
Springer
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...