4008 search results - page 619 / 802 » An expressive language of signatures |
179
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
176
click to vote
AGILE
2008
Springer
16 years 26 days ago
2008
Springer
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
159
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
179
click to vote
MEMOCODE
2007
IEEE
16 years 24 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
171
click to vote
SEMCO
2007
IEEE
16 years 24 days ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...