483 search results - page 46 / 97 » Parikh Mapping and Iteration |
127
click to vote
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
98
Voted
WACV
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the limited automatic scanning functionality of standard PTZ camera systems. We present an adaptive, scene-specific model using standard PTZ camera hardware. The adapt...
96
Voted
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
IJBC
2007
15 years 21 days ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
117
Voted
JCT
2007
15 years 8 days ago
2007
In answer to a question of Andrews about finding combinatorial proofs of two identities in Ramanujan’s “lost” notebook, we obtain weighted forms of Euler’s theorem on part...