7978 search results - page 1553 / 1596 » Representation before computation |
109
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
135
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
134
click to vote
SOUPS
2005
ACM
15 years 7 months ago
2005
ACM
Graphical passwords are an alternative to alphanumeric passwords in which users click on images to authenticate themselves rather than type alphanumeric strings. We have developed...
115
click to vote
AIIA
2005
Springer
15 years 7 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
128
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...