8669 search results - page 1559 / 1734 » Computing matrix representations |
132
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper introduces a function that increases the amount of neutrality (inactive code in Genetic Programming) for the Artificial Ant Problem. The objective of this approach is t...
116
click to vote
3DPVT
2004
IEEE
15 years 5 months ago
2004
IEEE
Image based rendering (IBR) consists of several steps: (i) Calibration (or ego-motion computation) of all input images. (ii) Determination of regions in the input images used to s...
101
Voted
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
114
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
131
click to vote
CIARP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...