Sciweavers

8949 search results - page 1635 / 1790
» is 1998
Sort
View
ATMOS
2010
169views Optimization» more  ATMOS 2010»
15 years 4 months ago
Traffic Signal Optimization Using Cyclically Expanded Networks
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
Ekkehard Köhler, Martin Strehler
FLAIRS
2009
15 years 4 months ago
Computational Replication of Human Paraphrase Assessment
1 Two sentences are paraphrases if their meanings are equivalent but their words and syntax are different. Paraphrasing can be used to aid comprehension, stimulate prior knowledge,...
Philip M. McCarthy, Zhiqiang Cai, Danielle S. McNa...
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 3 months ago
Computerized adaptive testing: implementation issues
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
Margit Antal, Levente Erös, Attila Imre
FSTTCS
2010
Springer
15 years 3 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 3 months ago
Cross-Composition: A New Technique for Kernelization Lower Bounds
We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance o...
Hans L. Bodlaender, Bart M. P. Jansen, Stefan Krat...
« Prev « First page 1635 / 1790 Last » Next »