Sciweavers

1907 search results - page 76 / 382
» Visualizing Action Semantics
Sort
View
ICWE
2005
Springer
14 years 2 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
FOSSACS
2008
Springer
13 years 10 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
ESOP
2005
Springer
14 years 2 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
ICPR
2008
IEEE
14 years 10 months ago
Visual features with semantic combination using Bayesian network for a more effective image retrieval
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
Sabine Barrat, Salvatore Tabbone
CVPR
2008
IEEE
14 years 11 months ago
Visual Synset: Towards a higher-level visual representation
We present a higher-level visual representation, visual synset, for object categorization. The visual synset improves the traditional bag of words representation with better discr...
Yantao Zheng, Ming Zhao 0003, Shi-Yong Neo, Tat-Se...