1397 search results - page 101 / 280 » On the Need for Practical Formal Methods |
EMNLP
2009
13 years 8 months ago
2009
The design of practical language applications by means of statistical approaches requires annotated data, which is one of the most critical constraint. This is particularly true f...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
ACSD
2009
IEEE
14 years 3 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
MVA
1992
13 years 11 months ago
1992
The analysis of color image sequence is very heavy if the analysis is carried out for each image. But, in many practical cases, there is no need to know the precise motion and sha...