6358 search results - page 839 / 1272 » Computing spectral sequences |
188
click to vote
EPEW
2005
Springer
16 years 13 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...
179
click to vote
FCT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
160
click to vote
GECCO
2005
Springer
16 years 12 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...
220
click to vote
IBPRIA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
165
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...