4872 search results - page 256 / 975 » The Efficiency of Optimal Taxes |
182
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
167
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Due to air traffic growth and especially hubs development, major European airports can easily become bottlenecks in the global air transportation network. Therefore, accurate model...
172
click to vote
SGP
2007
15 years 9 months ago
2007
Many common objects have highly reflective metallic or painted finishes. Their appearance is primarily defined by the distortion the curved shape of the surface introduces in the ...
150
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
Let H be a finite family of graphs. A graph G is H-universal if it contains a copy of each H H as a subgraph. Let H(k, n) denote the family of graphs on n vertices with maximum d...
166
click to vote
ACL
2006
15 years 8 months ago
2006
Given a parallel corpus, semantic projection attempts to transfer semantic role annotations from one language to another, typically by exploiting word alignments. In this paper, w...