Sciweavers

3812 search results - page 467 / 763
» Combinations of TRAP Based Systems
Sort
View
IJCAI
2001
15 years 8 months ago
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
Jim Blythe
SWAP
2007
15 years 7 months ago
Towards Social Semantic Suggestive Tagging
The organization of the knowledge on the web is increasingly becoming a social task performed by online communities whose members share a common interest in classifying different t...
Fabio Calefato, Domenico Gendarmi, Filippo Lanubil...
ICFP
2010
ACM
15 years 7 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
AAMAS
2007
Springer
15 years 6 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
137
Voted
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 6 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...