498 search results - page 75 / 100 » From Language to Time: A Temporal Expression Anchorer |
102
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
117
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
FUIN
2008
14 years 11 months ago
2008
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...
AIME
2009
Springer
15 years 6 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
ACL
2001
15 years 1 months ago
2001
Current alternatives for language modeling are statistical techniques based on large amounts of training data, and hand-crafted context-free or finite-state grammars that are diff...