3362 search results - page 14 / 673 » A definition of subjective possibility |
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
We review the design and implementation of UltraGrid, a new high definition video conferencing system, and present some experimental results. UltraGrid was the first system to s...
102
click to vote
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
101
click to vote
CIKM
2010
Springer
14 years 4 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
LREC
2010
14 years 11 months ago
2010
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The algorithms in the current sequential numerical linear algebra libraries (e.g. LAPACK) do not parallelize well on multicore architectures. A new family of algorithms, the tile a...