16 search results - page 2 / 4 » dc 2000 |
AAAI
2000
13 years 8 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
The University of Maryland has recently begun a partnership with Byte Back, a computer skills training program for unemployed and underemployed persons in the Washington, D.C. are...
CC
2000
Springer
13 years 11 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
JHSN
2000
13 years 7 months ago
2000
Telemedicine is many things to many people. Only until a few years ago, telemedicine was equated to video teleconferencing between physicians, while nowadays, perhaps the most acti...
RTSS
2000
IEEE
13 years 11 months ago
2000
IEEE
In portable applications, the energy consumed by OS and application tasks primarily comes from DC battery source, which is limited and imposes an upper bound to the amount of time...