126 search results - page 16 / 26 » System Description: A Highly Interactive Speech-to-Speech Tr... |
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
BMCBI
2006
13 years 7 months ago
2006
Background: Biological processes are mediated by networks of interacting genes and proteins. Efforts to map and understand these networks are resulting in the proliferation of int...
CLEF
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper, we present a multiple targets classification system for visual concepts detection and image annotation. Multiple targets classification (MTC) is a variant ...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Wikis are sites that support the development of emergent, collective infrastructures that are highly flexible and open, suggesting that the systems that use them will be egalitari...
COMPSAC
2009
IEEE
14 years 7 days ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...