157 search results - page 22 / 32 » Incremental Compilation-to-SAT Procedures |
57
Voted
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
83
Voted
HVC
2005
Springer
15 years 3 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
102
click to vote
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
IDEAL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
ROBOCUP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...