2364 search results - page 56 / 473 » An Engine for Computing Well-Founded Models |
128
click to vote
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
123
click to vote
NOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract – With the rise of multicore computing, the design of onchip networks (or networks on chip) has become an increasingly important component of computer architecture. The ...
125
click to vote
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
119
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...
138
click to vote
PAAPP
2007
15 years 3 months ago
2007
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...