111 search results - page 18 / 23 » A simple inductive synthesis methodology and its application... |
ICFP
2009
ACM
14 years 7 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Energy-ef ciency is one of the major concerns in wireless sensor networks since it impacts the network lifetime. In this paper, we investigate the relationship between sensor n...
INFOCOM
2002
IEEE
13 years 11 months ago
2002
IEEE
— We measure and analyze the single-hop packet delay through operational routers in a backbone IP network. First we present our delay measurements through a single router. Then w...
ASC
2008
13 years 6 months ago
2008
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
LOPSTR
1997
Springer
13 years 11 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...