243 search results - page 36 / 49 » Concolic testing for functional languages |
113
click to vote
SE
2007
15 years 19 days ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
101
click to vote
DAGSTUHL
2004
15 years 18 days 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...
IADIS
2004
15 years 18 days 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...
100
click to vote
IJCV
2006
14 years 11 months 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...
EMNLP
2009
14 years 9 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...