533 search results - page 33 / 107 » Protocol synthesis from timed and structured specifications |
115
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
113
click to vote
IICAI
2007
15 years 2 months ago
2007
This paper presents a method for extracting purpose statements from clinical trial protocol summaries. Simple summarization technology based on regular expressions and natural lang...
116
Voted
KES
2004
Springer
15 years 6 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
113
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
The Intelligent Network (IN) represents the world wide accepted basis for uniform provisioning of advanced telecom services. On the other hand IP based communication is fast becomi...
102
click to vote
AIME
2009
Springer
15 years 8 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...