5275 search results - page 735 / 1055 » Computing by observing |
169
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
192
click to vote
EUROISI
2008
15 years 8 months ago
2008
Abstract. Typical analytical measures in graph theory like degree centrality, betweenness and closeness centralities are very common and have long history of their successful use. ...
171
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In many image or video retrieval systems, the search of similar objects in the database includes a spatial access method to a multidimensional feature space. This step is generall...
161
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
Data cube has been playing an essential role in fast OLAP (online analytical processing) in many multi-dimensional data warehouses. However, there exist data sets in applications ...
202
click to vote
ICANN
2003
Springer
15 years 12 months ago
2003
Springer
In independent component analysis problems, when we use a one-unit objective function to iteratively estimate several independent components, the uncorrelatedness between the indep...