1368 search results - page 26 / 274 » Personality-Based Practical Reasoning |
130
click to vote
IA
2006
15 years 1 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
110
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
Users are being tracked on the Internet more than ever before as Web sites and search engines gather pieces of information sufficient to identify and study their behavior. While m...
85
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
121
Voted
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
119
click to vote
PAKDD
2007
ACM
15 years 8 months ago
2007
ACM
Privacy-preserving data mining techniques could encourage health data custodians to provide accurate information for mining by ensuring that the data mining procedures and results ...