15777 search results - page 3044 / 3156 » The Reformulation-Optimization Software Engine |
146
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
131
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
103
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
133
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
ABSTRACT. Motivated by economic thought, a recent research agenda has suggested the algorithmic study of combinatorial optimization problems under functions which satisfy the prope...
116
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
ABSTRACT. The maximum independent set problem (MAXIS) on general graphs is known to be NPhard to approximate within a factor of n1-, for any > 0. However, there are many "...