27 search results - page 4 / 6 » Type-Constrained Generics for Z |
122
click to vote
AOSE
2004
Springer
15 years 8 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
122
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
116
Voted
IJCV
1998
15 years 2 months ago
1998
Images formed by a human face change with viewpoint. A new technique is described for synthesizing images of faces from new viewpoints, when only a single 2D image is available. A...
131
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
123
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...