Sciweavers

725 search results - page 122 / 145
» Natural language processing and intelligent interfaces
Sort
View
AAAI
1994
14 years 11 months ago
Corpus-Driven Knowledge Acquisition for Discourse Analysis
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
Stephen Soderland, Wendy G. Lehnert
CHI
2006
ACM
15 years 10 months ago
Using hybrid networks for the analysis of online software development communities
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
Yevgeniy Eugene Medynskiy, Nicolas Ducheneaut, Aym...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
15 years 4 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
MM
2009
ACM
197views Multimedia» more  MM 2009»
15 years 4 months ago
Sirio: an ontology-based web search engine for videos
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
Thomas M. Alisi, Marco Bertini, Gianpaolo D'Amico,...
UML
2004
Springer
15 years 3 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin