Sciweavers

3619 search results - page 581 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
140
Voted
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 1 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
122
Voted
SOSP
2003
ACM
16 years 14 days ago
Performance debugging for distributed systems of black boxes
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L...
120
Voted
LREC
2008
133views Education» more  LREC 2008»
15 years 5 months ago
Building a Greek corpus for Textual Entailment
The paper reports on completed work aimed at the creation of a resource, namely, the Greek Textual Entailment Corpus (GTEC) that is appropriate for guiding training and evaluation...
Evi Marzelou, Maria Zourari, Voula Giouli, Stelios...
CMC
1998
Springer
15 years 7 months ago
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
Tom Brøndsted, Paul Dalsgaard, Lars Bo Lars...
181
Voted
HASE
2002
IEEE
15 years 8 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri