3637 search results - page 330 / 728 » On Dynamic Bit-Probe Complexity |
154
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
179
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
199
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
235
Voted
CAIP
2007
Springer
16 years 28 days ago
2007
Springer
— Background subtraction is a method commonly used to segment objects of interest in image sequences. By comparing new frames to a background model, regions of interest can be fo...
153
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...