5638 search results - page 232 / 1128 » On presence |
145
click to vote
AIIA
2005
Springer
16 years 5 days ago
2005
Springer
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
161
Voted
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
181
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
185
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
154
click to vote
ISAAC
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we formulate a class of colored range query problems to model the multi-dimensional range queries in the presence of categorical information. By applying appropriate...