Sciweavers

3379 search results - page 46 / 676
» Combinators for Interaction Nets
Sort
View
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 6 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
ACL
2010
14 years 10 months ago
Extraction and Approximation of Numerical Attributes from the Web
We present a novel framework for automated extraction and approximation of numerical object attributes such as height and weight from the Web. Given an object-attribute pair, we d...
Dmitry Davidov, Ari Rappoport
WAIM
2007
Springer
15 years 6 months ago
Semantic-Based Grouping of Search Engine Results Using WordNet
Terms used in search queries often have multiple meanings. Consequently, search results corresponding to different meanings may be retrieved, making identifying relevant results in...
Reza Hemayati, Weiyi Meng, Clement T. Yu
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
15 years 5 months ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
ECAI
2004
Springer
15 years 5 months ago
An Intrinsic Information Content Metric for Semantic Similarity in WordNet
Information Content (IC) is an important dimension of word knowledge when assessing the similarity of two terms or word senses. The conventional way of measuring the IC of word sen...
Nuno Seco, Tony Veale, Jer Hayes