6348 search results - page 478 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
162
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ul...
175
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
217
click to vote
TCBB
2011
15 years 1 months ago
2011
— Probe defects are a major source of noise in gene expression studies. While existing approaches detect noisy probes based on external information such as genomic alignments, we...
279
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
215
click to vote
PEPM
2012
ACM
14 years 2 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...