4502 search results - page 747 / 901 » Regular Model Checking |
128
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose to study links between three important classification algorithms: Perceptrons, Multi-Layer Perceptrons (MLPs) and Support Vector Machines (SVMs). We first study ways to...
130
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
141
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
260
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
230
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
Estimating the cardinality (i.e. number of distinct elements) of an arbitrary set expression defined over multiple distributed streams is one of the most fundamental queries of in...