3765 search results - page 501 / 753 » Qualitative Action Systems |
205
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
266
click to vote
WRLA
2010
15 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
221
Voted
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
161
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Despite the enormous complexity of the human mind, fMRI techniques are able to partially observe the state of a brain in action. In this paper we describe an experimental setup...
193
click to vote
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...