1700 search results - page 256 / 340 » Specifying and implementing refactorings |
159
click to vote
BNCOD
2003
15 years 7 months ago
2003
In this paper we describe a query paradigm based on ontologies, aggregate table-driven querying and expansion of QBE. It has two novel features: visually specifying aggregate table...
163
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
144
click to vote
USITS
2003
15 years 7 months ago
2003
We consider the problem of network-sensitive service selection (NSSS): finding services that match a particular set of functional and network properties. Current solutions handle...
173
click to vote
FLAIRS
2000
15 years 7 months ago
2000
This paper describes a knowledge-based methodologyof miningtextual answersinto large collections of texts. Wepresent SOMBRERO,a knowledge processing module implemented in the LASS...
199
click to vote
IWFM
2000
15 years 7 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...