1756 search results - page 238 / 352 » Mapping Small Worlds |
170
click to vote
ISMAR
2006
IEEE
15 years 11 months ago
2006
IEEE
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...
166
click to vote
NETGAMES
2006
ACM
15 years 11 months ago
2006
ACM
Massive multiplayer online games (MMOGs) are today the driving factor for the development of distributed interactive applications, and they are increasing in size and complexity. ...
148
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
151
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
138
click to vote
HOPL
1993
15 years 9 months ago
1993
Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dial...