1146 search results - page 141 / 230 » Finite cupping sets |
DIAGRAMS
2004
Springer
14 years 1 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
DGCI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Discrete tomography concerns the reconstruction of functions with a finite number of values from few projections. For a number of important real-world problems, this tomo...
ECWEB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper proposes an approach for Web user segmentation and online behavior analysis based on a mixture of factor analyzers (MFA). In our proposed framework, we model u...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
Surgical simulation is a promising technology for training medical students and planning procedures. One major requirement for these simulation systems is a method to generate real...