243 search results - page 36 / 49 » Concolic testing for functional languages |
104
Voted
SE
2007
14 years 11 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...
DAGSTUHL
2004
14 years 11 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...
IADIS
2004
14 years 11 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...
IJCV
2006
14 years 9 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 7 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...