1218 search results - page 93 / 244 » The many facets of natural computing |
156
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Over the last few decades, the discipline of Web Accessibility has been focused on building more efficient and more effective speech generators for Web Browsers. The visual browse...
133
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
173
click to vote
ISMVL
2008
IEEE
16 years 17 days ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
188
click to vote
ISMVL
2008
IEEE
16 years 17 days ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
162
Voted
CSCLP
2007
Springer
16 years 10 days ago
2007
Springer
The notion of optimality naturally arises in many areas of applied mathematics and computer science concerned with decision making. Here we consider this notion in the context of ...