Sciweavers

2002 search results - page 210 / 401
» Interactive technical illustration
Sort
View
AAAI
1994
15 years 7 months ago
CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition
The Turing Test was proposed by Alan Turing in 1950; he called it the Imitation Game. In 1991 Hu Loebner prize competition, offering a f h Loebner started the 100,000 prize to the...
Michael L. Mauldin
ECSA
2010
Springer
15 years 7 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
AO
2007
144views more  AO 2007»
15 years 6 months ago
Social acquisition of ontologies from communication processes
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
Matthias Nickles
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 6 months ago
Competition of Wireless Providers for Atomic Users
We study a problem where wireless service providers compete for heterogenous and atomic (non-infinitesimal) wireless users. The users differ in their utility functions as well as ...
Vojislav Gajic, Jianwei Huang, Bixio Rimoldi
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Taming Modal Impredicativity: Superlazy Reduction
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
Ugo Dal Lago, Luca Roversi, Luca Vercelli