3408 search results - page 482 / 682 » Logic, language, information and computation |
171
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
165
click to vote
INFOCOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
200
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
165
click to vote
FORTE
2004
15 years 8 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
206
click to vote
CIVR
2007
Springer
16 years 25 days ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...