647 search results - page 35 / 130 » Technical method of Zoetmorerope |
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
Several systems for disaster damage mitigation have been studied based on various perspectives. Those previous works suggest it is not easy to get an effective method to comprehen...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— The ability of an operator to respond to changes in demand by incrementally deploying additional network infrastructure is essential. This paper1 presents a method for evaluati...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
CLEANDB
2006
ACM
14 years 2 months ago
2006
ACM
The paper presents a data cleansing technique for string databases. We propose and evaluate an algorithm that identifies a group of strings that consists of (multiple) occurrence...