392 search results - page 57 / 79 » APROL: a Hybrid Language |
124
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
120
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
111
click to vote
LREC
2010
15 years 3 months ago
2010
This paper presents a novel system HENNA (Hybrid Person Name Analyzer) for identifying language origin and analyzing linguistic structures of person names. We conduct ME-based cla...
106
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
109
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...