Sciweavers

6794 search results - page 1034 / 1359
» Semantics of Visual Languages
Sort
View
134
Voted
LRE
2006
112views more  LRE 2006»
15 years 4 months ago
A multilingual ontology for infectious disease surveillance: rationale, design and challenges
A lack of surveillance system infrastructure in the Asia-Pacific region is seen as hindering the global control of rapidly spreading infectious diseases such as the recent avian H5...
Nigel Collier, Ai Kawazoe, Lihua Jin, Mika Shigema...
JSW
2007
156views more  JSW 2007»
15 years 4 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
15 years 3 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
142
Voted
JOT
2010
108views more  JOT 2010»
15 years 3 months ago
Extending Scala with Database Query Capability
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp
132
Voted
EMNLP
2010
15 years 3 months ago
Towards Conversation Entailment: An Empirical Investigation
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...
Chen Zhang, Joyce Yue Chai
« Prev « First page 1034 / 1359 Last » Next »