2539 search results - page 129 / 508 » Debugging Method Names |
113
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
106
click to vote
SAS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
113
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
138
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we present a method for the retrieval of images in terms of perceptual similarity. Local color information is added to the shape context descriptor in order to obtain...
126
click to vote
LREC
2008
15 years 3 months ago
2008
We describe methods for extracting interesting factual relations from scientific texts in computational linguistics and language technology taken from the ACL Anthology. We use a ...