9166 search results - page 469 / 1834 » A framework for comparing models of computation |
144
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Digital image/video coding standards such as JPEG, H.264 are becoming more and more important for multimedia applications. Due to the huge amount of computations, there are signif...
184
click to vote
ICTAI
2006
IEEE
16 years 27 days ago
2006
IEEE
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...
176
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
209
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
191
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...