5451 search results - page 497 / 1091 » Typed Operational Semantics |
179
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a technique for detecting possible events in outdoor areas monitored by a video surveillance system. In particular, here we focus on the time spent by an...
180
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
165
click to vote
SETN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
132
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
An automated tether system has been developed for the purpose of improving the efficiency of micro-gravity activities of fully suited astronauts. System features include gripping ...
181
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....