3928 search results - page 369 / 786 » order 2006 |
235
click to vote
FOIKS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
182
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
213
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
213
click to vote
FPGA
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we develop an architecture for principal component analysis (PCA) to be used as an outlier detection method for high-speed network intrusion detection systems (NIDS...
194
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
A new large constraint length, soft decision viterbi decoder fabric is presented for deployment using platform based system on chip methodologies. The decoder can be reconfigured ...