4266 search results - page 217 / 854 » A Framework for Defining Logics |
185
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
167
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
137
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A fully-distributed collaborative multi-target tracking framework that eliminates the need for a central data associator or a central coordinating node for wireless sen...
188
click to vote
IV
2005
IEEE
16 years 7 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...