6740 search results - page 234 / 1348 » Using Classification as a Programming Language |
111
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
120
Voted
AAMAS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
235
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
121
click to vote
PRL
2008
15 years 2 months ago
2008
This paper proposes a new approach for classifying multivariate time-series with applications to the problem of writer independent online handwritten character recognition. Each t...
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, we investigate to which extent the "raw" mapping of Taylor series coefficients into jet-space can be used as a "language" for describing local i...