1687 search results - page 137 / 338 » Light Functional Interpretation |
153
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
160
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
175
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
151
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we introduce a new graph based bidding language for combinatorial auctions. In our language, each bidder submits to the arbitrator a generalized flow network (netbid...
150
click to vote
ESANN
2007
15 years 7 months ago
2007
We present a generative probabilistic model for the topographic mapping of tree structured data. The model is formulated as constrained mixture of hidden Markov tree models. A nat...