1895 search results - page 222 / 379 » Using ATL for Checking Models |
152
click to vote
ICCPOL
2009
Springer
15 years 2 months ago
2009
Springer
Conditional random fields (CRFs) have been quite successful in various machine learning tasks. However, as larger and larger data become acceptable for the current computational ma...
129
click to vote
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
150
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
145
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
138
click to vote
ACL
2007
15 years 6 months ago
2007
A Bloom filter (BF) is a randomised data structure for set membership queries. Its space requirements are significantly below lossless information-theoretic lower bounds but it ...