11160 search results - page 384 / 2232 » Incompleteness in a General Setting |
157
click to vote
AML
2008
15 years 7 months ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
187
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...
169
click to vote
CROSSROADS
2008
15 years 7 months ago
2008
O ptimizing embedded applications using a compiler can generally be broken down into two major categories: hand-optimizing code to take advantage of a particular processor's ...
143
click to vote
TOOLS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
157
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A very common type of a-priori knowledge in pattern analysis problems is invariance of the input data with respect to transformation groups, e.g. geometric transformations of imag...