4255 search results - page 221 / 851 » Cover |
161
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
157
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we describe the use of some cooperative learning methodology sessions in a Project Based Learning course, in order to cover those topics uncovered by the project. C...
171
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of a...
124
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a robust adaptive patches sampling technique. The method does not rely on the use of keypoints to extract local information but all information contained in ...
116
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article, we propose a steganalysis method for detecting the presence of information-hiding behavior in wav audios. We extract the neighboring joint distribution features a...