3457 search results - page 392 / 692 » A Symbol Is Not a Symbol |
183
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
150
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we analyze two general-purpose encoding types, trees and graphs systematically, focusing on trends over increasingly complex problems. Tree and graph encodings are ...
208
click to vote
ICDT
2007
ACM
16 years 29 days ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
190
click to vote
ICSOC
2007
Springer
16 years 29 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
155
click to vote
ICWL
2007
Springer
16 years 29 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...