1634 search results - page 224 / 327 » Reasoning about Knowledge Using Rough Sets |
119
Voted
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...
124
click to vote
FSE
2008
Springer
15 years 2 months ago
2008
Springer
KeeLoq is a block cipher used in wireless devices that unlock the doors and alarms in cars manufactured by Chrysler, Daewoo, Fiat, GM, Honda, Jaguar, Toyota, Volvo, Volkswagen, etc...
81
Voted
SOSP
2001
ACM
15 years 9 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
129
click to vote
FAC
2010
14 years 10 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
124
Voted
ACL
2003
15 years 2 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...