3414 search results - page 234 / 683 » System Support for Object Groups |
194
click to vote
DISCO
1993
15 years 8 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
149
click to vote
APIN
1998
15 years 4 months ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
146
click to vote
MOBICOM
1999
ACM
15 years 8 months ago
1999
ACM
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
140
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
113
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Widget containers are used everywhere on the Web, for instance as customizable start pages to Web desktops. In this poster, we describe the extension of a widget container with an...