1636 search results - page 78 / 328 » Type-Theoretic Functional Semantics |
128
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
137
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present an AUC (i.e., the Area Under the Curve of Receiver Operating Characteristics (ROC)) maximization based learning algorithm to design the classifier for ma...
111
click to vote
ATC
2009
Springer
15 years 7 months ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
137
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are asso...
103
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Despite the importance of analytical tools to organisations, they still lack the inference power needed to solve the requests of decision mak...