1941 search results - page 314 / 389 » Reasoning about Computations Using Two-Levels of Logic |
132
Voted
RAID
1999
Springer
15 years 7 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
147
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper describes a new approach to color image rendering for mixed reality applications. The approach has two steps. The first uses neural network based photometric stereo to ...
206
Voted
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
114
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
154
Voted
REST
2010
ACM
15 years 5 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...