1863 search results - page 311 / 373 » Unifying Theories of Objects |
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
SMA
2003
ACM
14 years 1 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
HICSS
2002
IEEE
14 years 22 days ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
GECCO
2010
Springer
14 years 17 days ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
ICCS
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...