Sciweavers

1830 search results - page 31 / 366
» Functional Programs as Linked Data
Sort
View
PADL
2004
Springer
15 years 5 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
CORR
2007
Springer
117views Education» more  CORR 2007»
14 years 11 months ago
Sensor Networks with Random Links: Topology Design for Distributed Consensus
—In a sensor network, in practice, the communication among sensors is subject to: 1) errors that can cause failures of links among sensors at random times; 2) costs; and 3) const...
Soummya Kar, José M. F. Moura
IWAN
2004
Springer
15 years 5 months ago
Dynamic Link Measurements Using Active Components
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
Dimitrios P. Pezaros, Manolis Sifalakis, Stefan Sc...
ISBI
2011
IEEE
14 years 3 months ago
Sparse topological data recovery in medical images
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
Moo K. Chung, Hyekyoung Lee, Peter T. Kim, Jong Ch...
DATASCIENCE
2007
106views more  DATASCIENCE 2007»
14 years 11 months ago
Linking the Taiwan Fish Database to the Global Database
Under the support of the National Digital Archive Program (NDAP), basic species information about most Taiwanese fishes, including their morphology, ecology, distribution, specime...
Kwang-Tsao Shao, Jack Yung-Chang Lin, Hsin-Hua Lin