8094 search results - page 267 / 1619 » Improvements in Formula Generalization |
130
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
122
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we investigate a realistic code acquisition assisted cooperative Non-Coherent (NC) Multiple-Input Multiple-Output (MIMO) DS-CDMA downlink scenario, when communica...
154
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a study of the web based user navigation patterns mining and propose a novel approach for clustering of user navigation patterns. The approach is based on the graph par...
145
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
120
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Photometric stereo is a fundamental approach in Computer Vision. At its core lies a set of image irradiance equations each taken with a different illumination. The vast majority o...