4424 search results - page 537 / 885 » Semantic virtual environments |
173
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
170
click to vote
ICDS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous servi...
168
click to vote
ICCHP
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
153
click to vote
ICTAC
2004
Springer
16 years 4 days ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
184
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...