667 search results - page 57 / 134 » On Various Negative Translations |
117
click to vote
DIAGRAMS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
110
click to vote
JMM2
2006
15 years 24 days ago
2006
Abstract-- In this paper, we present a clustering-based tracking algorithm for tracking people (e.g. hand, head, eyeball, body, and lips). It is always a challenging task to track ...
103
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
112
Voted
TC
2008
15 years 23 days ago
2008
To support dynamic address translation in today's microprocessors, the first-level cache is accessed in parallel with a translation lookaside buffer (TLB). However, this curre...
106
click to vote
CBMS
2006
IEEE
15 years 7 months ago
2006
IEEE
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...