Sciweavers

549 search results - page 82 / 110
» Constraint Programming in Structural Bioinformatics
Sort
View
90
Voted
LREC
2008
180views Education» more  LREC 2008»
15 years 1 months ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc
86
Voted
ACL
2004
15 years 1 months ago
Balancing Clarity and Efficiency in Typed Feature Logic Through Delaying
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
Gerald Penn
94
Voted
JCST
2008
114views more  JCST 2008»
15 years 13 days ago
Synthesizing Service Composition Models on the Basis of Temporal Business Rules
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
Jian Yu, Yanbo Han, Jun Han, Yan Jin, Paolo Falcar...
81
Voted
PPDP
2010
Springer
14 years 11 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
129
Voted
ICLP
2004
Springer
15 years 5 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...