5550 search results - page 186 / 1110 » Different Approaches to Proof Systems |
158
click to vote
IVC
2000
15 years 6 months ago
2000
The human vision system has adaptation mechanisms that cannot be managed with the classic tri-stimulus color theory. The effects of these mechanisms are clearly visible in some we...
166
click to vote
ICDCS
2005
IEEE
16 years 3 days ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
179
click to vote
ECTEL
2010
Springer
15 years 7 months ago
2010
Springer
We present Beetle II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategies...
161
click to vote
WSC
2008
15 years 8 months ago
2008
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
196
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
A new framework of privacy-preserving identity management for distributed e-Health systems is proposed. Utilizing a consumer-centric approach, the healthcare consumer maintains a ...