3207 search results - page 313 / 642 » A Semantics for HTN Methods |
138
click to vote
ENGL
2007
15 years 4 months ago
2007
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
136
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
146
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
163
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
We propose a new method that enhances automatic keyphrase extraction by using semantic information on terms and phrases gleaned from a domain-specific thesaurus. We evaluate the r...
117
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...