3619 search results - page 609 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
157
Voted
FOSSACS
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
135
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
121
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
131
Voted
ICCCN
2007
IEEE
15 years 9 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
122
Voted
LREC
2010
15 years 4 months ago
2010
With the development of speech and language processing, speech translation systems have been developed. These studies target spoken dialogues, and employ consecutive interpretatio...