2339 search results - page 267 / 468 » Models and Tools for Mulan Applications |
146
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
174
click to vote
WISE
2005
Springer
16 years 4 days ago
2005
Springer
Many databases have become Web-accessible through form-based search interfaces (i.e., search forms) that allow users to specify complex and precise queries to access the underlying...
193
click to vote
ACMACE
2004
ACM
15 years 12 months ago
2004
ACM
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
185
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
150
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...