500 search results - page 77 / 100 » Coalgebraic semantics for timed processes |
139
click to vote
MIR
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
NAACL
2003
15 years 1 months ago
2003
e by placing terms in an abstract ‘information space’ based on their occurrences in text corpora, and then allowing a user to visualize local regions of this information space....
126
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
119
click to vote
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
Video retrieval in consumer applications demands high level semantic descriptors such as people's identity. The problem is that in a variety of videos such as home videos, Ho...
CGO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...