4403 search results - page 185 / 881 » Galois Theory of Algorithms |
149
click to vote
ADVAI
2010
15 years 29 days ago
2010
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
142
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
197
click to vote
SMI
2006
IEEE
16 years 13 days ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
133
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
176
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...