Sciweavers

2687 search results - page 358 / 538
» On the Conversion between Number Systems
Sort
View
IEAAIE
2010
Springer
15 years 4 months ago
Learning User Preferences to Maximise Occupant Comfort in Office Buildings
It is desirable to ensure that the thermal comfort conditions in offices are in line with the preferences of occupants. Controlling their offices correctly therefore requires the c...
Anika Schumann, Nic Wilson, Mateo Burillo
AVSS
2009
IEEE
15 years 4 months ago
Counting People in Groups
Abstract--Cameras are becoming a common tool for automated vision purposes due to their low cost. In an era of growing security concerns, camera surveillance systems have become no...
Duc Fehr, Ravishankar Sivalingam, Vassilios Morell...
FIW
2009
163views Communications» more  FIW 2009»
15 years 4 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
15 years 1 months ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
SIAMDM
2010
99views more  SIAMDM 2010»
15 years 1 months ago
On the Stable Paths Problem
The Border Gateway Protocol (BGP) is the interdomain routing protocol used to exchange routing information between Autonomous Systems (ASes) in the internet today. While intradoma...
Penny E. Haxell, Gordon T. Wilfong