626 search results - page 15 / 126 » When Can Formal Methods Make a Real Difference |
ICDM
2007
IEEE
14 years 1 months ago
2007
IEEE
Recent years have witnessed an increasing number of studies in stream mining, which aim at building an accurate model for continuously arriving data. Somehow most existing work ma...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
ANLP
1992
13 years 8 months ago
1992
It is often assumed that when natural language processing meets the real world, the ideal of aiming for complete and correct interpretations has to be abandoned. However, our expe...
ARTMED
2006
13 years 7 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
ECBS
2002
IEEE
14 years 13 days ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...