5550 search results - page 566 / 1110 » Different Approaches to Proof Systems |
183
Voted
COLING
1990
15 years 8 months ago
1990
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
182
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
181
Voted
SACMAT
2010
ACM
15 years 7 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
185
click to vote
COR
2010
15 years 7 months ago
2010
Abstract -- Open zero-buffer multi-server general queueing networks occur throughout a number of physical systems in the semi-process and process industries. In this paper, we eval...
208
Voted
CL
2006
Springer
15 years 7 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...