3799 search results - page 439 / 760 » An Engineering Approach to Formal Methods |
156
click to vote
CSMR
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oc´e, one of the world’s leading copier manufacturer...
171
click to vote
KES
2005
Springer
16 years 7 days ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
191
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
In this paper an approach for combining a focus+context visual data mining method with zoomable interfaces is shown. Therefore a zoomable interface for analysing structurable imag...
174
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
186
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Services for locating mobile objects are often organized as a distributed search tree. The advantage of such an organization is that the service can easily scale as a distributed ...