1755 search results - page 92 / 351 » An efficient simulation algorithm based on abstract interpre... |
109
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
119
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
138
click to vote
GRAMMARS
2000
15 years 2 months ago
2000
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...
124
click to vote
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. For large state-space Markovian Decision Problems MonteCarlo planning is one of the few viable approaches to find near-optimal solutions. In this paper we introduce a new...
126
click to vote
ACISP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe implementations for solving the discrete logarithm problem in the class group of an imaginary quadratic field and in the infrastructure of a real quadratic fi...