13306 search results - page 2241 / 2662 » Theoretical Computer Science |
222
click to vote
ICCS
2004
Springer
16 years 28 days ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
198
click to vote
ICCS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
226
click to vote
IFL
2004
Springer
16 years 27 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
175
click to vote
SEMWEB
2004
Springer
16 years 27 days ago
2004
Springer
A central theme of the semantic web is that programs should be able to easily aggregate data from different sources. Unfortunately, even if two sites provide their data using the ...
226
click to vote
HAPTICS
2003
IEEE
16 years 25 days ago
2003
IEEE
Haptic interface serves as an ideal context and platform for teaching both system dynamics and embedded control. At The University of Michigan, a traditional undergraduate mechani...