3206 search results - page 251 / 642 » How minds can be computational systems |
156
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Recognition systems have generally treated specular highlights as noise. We show how to use these highlights as a positive source of information that improves recognition of shiny...
166
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
198
click to vote
ICICS
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
168
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
176
click to vote
ICPADS
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we use game theory to study nodes’ behavior in peer-to-peer networks when nodes receive service based on their reputation. Reputation is used as a mechanism to inc...