3692 search results - page 192 / 739 » Active learning and its use in computer science |
205
click to vote
IPSN
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents SHiMmer, a wireless platform for sensing and actuation that combines localized processing with energy harvesting to provide long-lived structural health monito...
164
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
180
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
166
click to vote
TCS
1998
15 years 6 months ago
1998
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...
188
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...