5945 search results - page 177 / 1189 » A Model for Projection and Action |
WWW
2001
ACM
14 years 10 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 (...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
This paper develops a supervised dimensionality reduction method, Lorentzian Discriminant Projection (LDP), for discriminant analysis and classification. Our method represents the...
AUSAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
CIKM
1994
Springer
14 years 1 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...