10874 search results - page 264 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
190
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
209
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
152
click to vote
CATA
2010
15 years 8 months ago
2010
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
159
click to vote
NAACL
2007
15 years 8 months ago
2007
This work evaluates a system that uses interpolated predictions of reading difficulty that are based on both vocabulary and grammatical features. The combined approach is compared...
213
click to vote
SEC
2000
15 years 8 months ago
2000
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...