8337 search results - page 124 / 1668 » Reasoning With Characteristic Models |
147
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
We propose a novel reasoning engine for context-aware ubiquitous computing middleware in this paper. Our reasoning engine supports both rulebased reasoning and machine learning rea...
121
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
147
click to vote
HAIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents an agent specially designed for the prevention and detection of SQL injection at the database layer of an application. The agent incorporates a Case-based reaso...
130
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
119
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we propose a method for detecting digital processing of video such as compositing. Our method is based on a realistic model of charge coupled device (CCD) sensor no...