3119 search results - page 325 / 624 » General Default Logic |
155
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
156
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
141
click to vote
ISLPED
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
176
click to vote
WIDM
2005
ACM
16 years 8 days ago
2005
ACM
In this paper we investigate the problem of XML Schema evolution. We first discuss the different kinds of changes that may be needed on an XML Schema. Then, we investigate how to...
162
click to vote
ASP
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...