Sciweavers

1907 search results - page 75 / 382
» Visualizing Action Semantics
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
13 years 9 months ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
CVPR
2010
IEEE
13 years 6 months ago
Growing semantically meaningful models for visual SLAM
Though modern Visual Simultaneous Localisation and Mapping (vSLAM) systems are capable of localising robustly and efficiently even in the case of a monocular camera, the maps prod...
Alexander Flint, Christopher Mei, Ian D. Reid, Dav...
DATAMINE
2002
139views more  DATAMINE 2002»
13 years 8 months ago
Using Site Semantics to Analyze, Visualize, and Support Navigation
To satisfy potential customers of a Web site and to lead them to the goods offered by the site, one should support them in the course of navigation they have embarked on. This pape...
Bettina Berendt
IWPC
2005
IEEE
14 years 2 months ago
Tool Demonstration: JIVE and JOVE: Java as it Happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
MMS
2008
13 years 9 months ago
Semantic interactive image retrieval combining visual and conceptual content description
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
Marin Ferecatu, Nozha Boujemaa, Michel Crucianu