3082 search results - page 578 / 617 » Deviation Analysis: A New Use of Model Checking |
103
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper provides new results for the tracking control of a quadrotor unmanned aerial vehicle (UAV). The UAV has four input degrees of freedom, namely the magnitudes of the four ...
POPL
2011
ACM
14 years 2 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
117
click to vote
EMNLP
2011
13 years 11 months ago
2011
We show that categories induced by unsupervised word clustering can surpass the performance of gold part-of-speech tags in dependency grammar induction. Unlike classic clustering ...
ICML
2004
IEEE
16 years 19 days ago
2004
IEEE
A standard method for approximating averages in probabilistic models is to construct a Markov chain in the product space of the random variables with the desired equilibrium distr...
ESORICS
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...