10916 search results - page 191 / 2184 » On Constructive Connectives and Systems |
154
click to vote
JDCTA
2008
15 years 6 months ago
2008
There are many interests and researches among an industry as IT develops. It is important to use information effectively and adequately as applying IT to industry because IT provi...
148
click to vote
ACIVS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. To construct a very smooth nonseparable multiscaling function, we impose polynomial approximation order 2 and add new conditions on the polyphase highpass filters. We wo...
129
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
161
click to vote
EVOW
2005
Springer
16 years 1 days ago
2005
Springer
In previous work, we showed how cooperative coevolution could be used to evolve both the feature construction stage and the classification stage of an object detection algorithm. ...
180
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...