780 search results - page 108 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
SSDBM
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
BMCBI
2007
13 years 8 months ago
2007
Background: As compared with traditional transgene copy number detection technologies such as Southern blot analysis, real-time PCR provides a fast, inexpensive and high-throughpu...
LOGCOM
2007
13 years 8 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...