2920 search results - page 441 / 584 » Finite information logic |
180
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
166
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
131
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Spintronic memristor devices based upon spin torque induced magnetization motion are presented and potential application examples are given. The structure and material of these ...
159
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A core prescription from the knowledge management movement is that the successful management of organizational knowledge will prevent firms from “reinventing the wheel.” Infor...
192
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...