399 search results - page 2 / 80 » Scene Modeling Based on Constraint System Decomposition Tech... |
GRAPHICSINTERFACE
2001
13 years 6 months ago
2001
Content creation for computer graphics applications is a laborious process that requires skilled personnel. One fundamental problem is that manipulation of 3D objects with 2D user...
SMA
2005
ACM
13 years 10 months ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
NFM
2011
13 years 5 days ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
ECAI
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
VTC
2008
IEEE
13 years 11 months ago
2008
IEEE
—This paper addresses the problem of joint linear transceiver design in the downlink of multiuser MIMO systems. We define the performance criterion as minimizing the maximal mea...