2446 search results - page 105 / 490 » First Smart Spaces |
136
click to vote
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
139
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
126
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a Bayesian framework for learning higherorder transition models in video surveillance networks. Such higher-order models describe object movement between cameras in the...
124
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Given a percentage-threshold and readings from a pair of consecutive upstream and downstream sensors, flow anomaly discovery identifies dominant time intervals where the fractio...
139
Voted
TREC
2000
15 years 4 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...