Sciweavers

338 search results - page 41 / 68
» A Language for Task Orchestration and Its Semantic Propertie...
Sort
View
98
Voted
EMNLP
2009
14 years 8 months ago
Classifying Relations for Biomedical Named Entity Disambiguation
Named entity disambiguation concerns linking a potentially ambiguous mention of named entity in text to an unambiguous identifier in a standard database. One approach to this task...
Xinglong Wang, Jun-ichi Tsujii, Sophia Ananiadou
ISORC
2000
IEEE
15 years 2 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
VMCAI
2010
Springer
15 years 7 months ago
Temporal Reasoning for Procedural Programs
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
Rajeev Alur, Swarat Chaudhuri
131
Voted
NLPRS
2001
Springer
15 years 2 months ago
Vietnamese Word Segmentation
Word segmentation is the first and obligatory task for every NLP. For inflectional languages like English, French, Dutch,.. their word boundaries are simply assumed to be whitespa...
Dinh Dien, Hoang Kiem, Nguyen Van Toan
UML
1998
Springer
15 years 2 months ago
Supporting and Applying the UML Conceptual Framework
The Unified Modelling Language (UML) ostensibly assumes a four level (meta) modelling framework, both for its definition and for the conceptual context in which its users operate. ...
Colin Atkinson