2016 search results - page 78 / 404 » Megamaps: Construction and Examples |
160
click to vote
NMELP
1994
15 years 8 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
179
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Models of agent-environment interaction that use predictive state representations (PSRs) have mainly focused on the case of discrete observations and actions. The theory of discre...
147
Voted
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
130
click to vote
PKC
2000
Springer
15 years 8 months ago
2000
Springer
This paper gives a new example of exploiting the idea of using polynomials with restricted coefficients over finite fields and rings to construct reliable cryptosystems and identif...
204
Voted
IPCO
2010
15 years 6 months ago
2010
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...