7064 search results - page 211 / 1413 » From States to Histories |
144
Voted
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Almost every single-view visual multi-target tracking method presented in the literature includes a detection routine that maps the image data to point measurements relevant to th...
207
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
170
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
181
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Data visualization, commonly used to make large sets of numerical data more legible, also has enormous potential as a storytelling tool to elicit insights on long-standing social ...
180
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...