Sciweavers

1364 search results - page 40 / 273
» Comparative Branching-Time Semantics
Sort
View
FASE
2004
Springer
15 years 3 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
FTDCS
2004
IEEE
15 years 3 months ago
Exploiting Semantic Proximity in Peer-to-Peer Content Searching
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
Spyros Voulgaris, Anne-Marie Kermarrec, Laurent Ma...
ACL
2007
15 years 1 months ago
Fast Semantic Extraction Using a Novel Neural Network Architecture
We describe a novel neural network architecture for the problem of semantic role labeling. Many current solutions are complicated, consist of several stages and handbuilt features...
Ronan Collobert, Jason Weston
IJCAI
2001
15 years 1 months ago
Combining Statistics and Semantics for Word and Document Clustering
A new approach for constructing pseudo-keywords, referred to as Sense Units, is proposed. Sense Units are obtained by a word clustering process, where the underlying similarity re...
Alexandre Termier, Michèle Sebag, Marie-Chr...
ICWS
2003
IEEE
15 years 1 months ago
Adding Semantics to Web Services Standards
With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services wher...
Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth...