4166 search results - page 555 / 834 » Automating the constraining process |
129
click to vote
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
123
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
134
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
104
click to vote
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible functi...
137
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...