4493 search results - page 708 / 899 » A Knowledge Recommend System Based on User Model |
151
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
162
click to vote
LREC
2008
15 years 7 months ago
2008
In current phrase-based Statistical Machine Translation systems, more training data is generally better than less. However, a larger data set eventually introduces a larger model ...
179
click to vote
GBRPR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
163
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
169
click to vote
MAGS
2008
15 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...