16616 search results - page 282 / 3324 » Extending Extended Vacuity |
185
click to vote
AAAI
2011
14 years 6 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
152
click to vote
ARESEC
2011
14 years 6 months ago
2011
—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by making information (e.g. election result) public. In e-voting literature, this publicatio...
183
click to vote
PEPM
2012
ACM
14 years 2 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
199
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Physical layer secrecy in wireless networks in the presence of eavesdroppers of unknown location is considered. In contrast to prior schemes, which have expended energy in the f...
218
click to vote
EPIA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...