1426 search results - page 77 / 286 » Specification of nonmonotonic reasoning |
152
click to vote
DGO
2009
15 years 5 months ago
2009
With the growing importance of foreign commerce comes also greater opportunities for fraudulent behaviour. As such, governments must try to detect frauds as soon as they take plac...
135
Voted
ECOI
2010
15 years 3 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
137
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
149
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
152
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...