4403 search results - page 857 / 881 » Galois Theory of Algorithms |
ATAL
2006
Springer
15 years 5 days ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
86
Voted
CANDC
2005
ACM
15 years 5 days ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
86
Voted
CF
2005
ACM
15 years 5 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
76
Voted
COMPGEOM
2005
ACM
15 years 5 days ago
2005
ACM
We develop a cache-oblivious data structure for storing a set S of N axis-aligned rectangles in the plane, such that all rectangles in S intersecting a query rectangle or point ca...
126
click to vote
CIKM
2008
Springer
15 years 16 hour ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...