17449 search results - page 265 / 3490 » Availability |
151
click to vote
ISWC
1997
IEEE
15 years 10 months ago
1997
IEEE
Wearable computers can now merge seamlessly into ordinary clothing. Using various conductive textiles, data and power distribution as well as sensing circuitry can be incorporated...
159
click to vote
ECML
1994
Springer
15 years 10 months ago
1994
Springer
This paperpresents several industrial applications of MLin the context of their effort to solve the "KAMLproblem", i.e., the problem of merging knowledge acquisition and...
176
click to vote
LCC
1994
15 years 10 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...
165
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
184
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
As information becomes available in increasing amounts, and to growing numbers of users, the shift towards a more user-centered, or personalized access to information becomes cruci...