867 search results - page 111 / 174 » On Two Forms of Structural Recursion |
82
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
Bright-field (BF) microscopy enables imaging the beating embryonic zebrafish heart at high frame rates, thereby revealing motion of both tissues that form the heart and red bloo...
116
click to vote
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
107
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
A method that automatically estimates the metrical structure of a piece of music is presented. The approach is based on the generation of a beat similarity matrix, which provides ...
84
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The Internet is widely valued for distributing control over information to a lateral network of individuals, but it is not clear how these networks can most effectively organize t...
125
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...