7988 search results - page 355 / 1598 » A Useful Undecidable Theory |
153
click to vote
ICWL
2007
Springer
16 years 27 days ago
2007
Springer
This paper sets out the central problem of current blended learning research that it does not have an appropriate focus on educational theory. The blended learning praxis in higher...
126
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...
175
click to vote
SYNASC
2006
IEEE
16 years 23 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
183
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
160
click to vote
FMCO
2005
Springer
16 years 8 days ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...