3931 search results - page 443 / 787 » Separation logic and abstraction |
185
click to vote
SEMWEB
2005
Springer
16 years 16 days ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
189
Voted
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
169
click to vote
SAT
2004
Springer
16 years 12 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
180
click to vote
CEC
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper we present two new approaches based on genetic algorithms (GA) to reduce power consumption by communication buses in an embedded system. The first approach makes it ...
186
click to vote
STEP
2003
IEEE
16 years 10 days ago
2003
IEEE
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...