3299 search results - page 272 / 660 » A general mathematics of names |
183
click to vote
EPEW
2005
Springer
16 years 6 days ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
155
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
128
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
176
click to vote
IBPRIA
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
175
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...