3745 search results - page 551 / 749 » Sonic: System Description |
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
202
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
177
click to vote
ICAT
2006
IEEE
16 years 16 days ago
2006
IEEE
—Spatial augmented reality using controllable projector-camera-systems to project onto objects directly, or Projected Reality as we call it, offers the possibility to augment obj...
174
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
The increasing number of launched satellites per year, calls for solutions to keep free operational space for telecommunication systems in geo-synchronized orbit, as well as to av...
191
click to vote
SIGUCCS
2005
ACM
16 years 2 days ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...