243 search results - page 36 / 49 » Concolic testing for functional languages |
131
Voted
SE
2007
15 years 2 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
118
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
105
Voted
IADIS
2004
15 years 2 months ago
2004
The rising popularity of World Wide Web has brought portal solutions to a rapid development. More and more companies, agencies, departments have replaced or completed their Web si...
121
click to vote
IJCV
2006
15 years 24 days ago
2006
Gesture and speech are co-expressive and complementary channels of a single human language system. While speech carries the major load of symbolic presentation, gesture provides th...
101
Voted
EMNLP
2009
14 years 10 months ago
2009
Current statistical machine translation (SMT) systems are trained on sentencealigned and word-aligned parallel text collected from various sources. Translation model parameters ar...