Sciweavers

8446 search results - page 1039 / 1690
» A Process Compensation Language
Sort
View
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
IUCS
2009
ACM
194views Communications» more  IUCS 2009»
16 years 1 months ago
Automatic extraction of bilingual terms from a Chinese-Japanese parallel corpus
This paper proposes a new approach for the automatic extraction of bilingual terms from a domain-specific bilingual parallel corpus. We combine existing monolingual term extractor...
Xiaorong Fan, Nobuyuki Shimizu, Hiroshi Nakagawa
211
Voted
ICIW
2008
IEEE
16 years 1 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
181
Voted
FDL
2007
IEEE
16 years 1 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski
216
Voted
CLEF
2007
Springer
16 years 1 months ago
Priberam's Question Answering System in QA@CLEF 2007
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...
Carlos Amaral, Adán Cassan, Helena Figueira...
« Prev « First page 1039 / 1690 Last » Next »