6020 search results - page 670 / 1204 » A New Approach to Model Counting |
207
click to vote
EDOC
2003
IEEE
16 years 23 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
186
click to vote
IAT
2003
IEEE
16 years 23 days ago
2003
IEEE
This paper describes the methodology of an intelligent agent for building a self-adaptive course on the Web. An important task, therefore, is to combine adaptability with the lear...
188
click to vote
AIME
2003
Springer
16 years 21 days ago
2003
Springer
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
208
click to vote
PCM
2009
Springer
16 years 21 hour ago
2009
Springer
In this paper, we proposed a new edge-directed image interpolation algorithm which can preserve the edge features and natural appearance of images efficiently. In the proposed sche...
215
click to vote
LCN
1996
IEEE
15 years 11 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...