1604 search results - page 290 / 321 » Development Separation in Lambda-Calculus |
ACSAC
2002
IEEE
14 years 19 days ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
HICSS
2002
IEEE
14 years 18 days ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
ICTAI
2002
IEEE
14 years 18 days ago
2002
IEEE
(Appears as a regular paper in the Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Washington D.C, IEEE Computer Society, Nov. 2002, p...
LACL
2001
Springer
14 years 3 days ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
SEMWEB
2001
Springer
14 years 2 days ago
2001
Springer
Building repositories for e-learning is an iterative process and course content and course structure are always changing. We realized the necessity to separate content from structu...