244 search results - page 16 / 49 » Towards a Theory of Extractable Functions |
CAISE
2003
Springer
14 years 28 days ago
2003
Springer
The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the â...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
WOA
2003
13 years 9 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
BMCBI
2010
13 years 7 months ago
2010
Background: Whole genome association studies using highly dense single nucleotide polymorphisms (SNPs) are a set of methods to identify DNA markers associated with variation in a ...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Region growing has become a popular method for 3D segmentation. Starting from a seed, this approach allows one to extract a region by merging all its neighbors and comparing the e...