1246 search results - page 179 / 250 » Online testing with model programs |
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
95
Voted
COMPIMAGE
2010
Springer
15 years 5 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
76
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
101
Voted
WSC
2001
15 years 2 months ago
2001
Due to high demand uncertainty, excess inventory has been a key issue in inventory control. Caterpillar developed the dealers' parts inventory sharing (DPIS) and returns prog...
121
click to vote
EMNLP
2010
14 years 10 months ago
2010
This paper introduces algorithms for nonprojective parsing based on dual decomposition. We focus on parsing algorithms for nonprojective head automata, a generalization of head-au...