9989 search results - page 121 / 1998 » A CLP Approach to Modelling Systems |
141
click to vote
COLING
2010
14 years 11 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
126
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
The automatic integration of devices into dynamic, automatically configured networks alone does not take advantage of the entire potential of Service Oriented Architectures (SOA)...
150
click to vote
AH
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes an approach to adaptive hypermedia by incorporating linkbases into an agent-based system (PAADS). The agents are built on top of an agent framework developed a...
155
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
110
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...