670 search results - page 98 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
83
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
119
click to vote
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
104
click to vote
WSC
1998
15 years 1 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
101
click to vote
FORTE
2000
15 years 1 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
117
Voted
NAACL
2010
14 years 10 months ago
2010
The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...