13306 search results - page 364 / 2662 » Theoretical Computer Science |
199
click to vote
FOCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper considers the problem of designing fast, approximate, combinatorial algorithms for multicommodity flows and other fractional packing problems. We provide a different ap...
186
click to vote
KSEM
2010
Springer
15 years 4 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
184
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
125
click to vote
GI
2007
Springer
16 years 29 days ago
2007
Springer
: We propose and analyse six use cases for 3D visualisation in manufacturing attempting to identify business scenarios for which 3D visualisation can add value in supporting manufa...
180
Voted
STACS
2005
Springer
16 years 8 days ago
2005
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. We study policies for setting the speed of the processor for both of the ...