Sciweavers

15351 search results - page 2799 / 3071
» The information bottleneck method
Sort
View
ARCS
2004
Springer
15 years 9 months ago
Kreuzkatalytische Netzwerke als Wirtschaftsprinzip
: Im Zeitalter explodierender Informationsverfügbarkeit wird ein Zusammenhang zwischen Informationsnutzung und Innovation erkennbar. Neben den konventionellen Organisationsformen ...
K.-M. Reiß
FMCAD
2004
Springer
15 years 9 months ago
Proof Styles in Operational Semantics
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
Sandip Ray, J. Strother Moore
ICMI
2004
Springer
162views Biometrics» more  ICMI 2004»
15 years 9 months ago
When do we interact multimodally?: cognitive load and multimodal communication patterns
Mobile usage patterns often entail high and fluctuating levels of difficulty as well as dual tasking. One major theme explored in this research is whether a flexible multimodal in...
Sharon L. Oviatt, Rachel Coulston, Rebecca Lunsfor...
ICSOC
2004
Springer
15 years 9 months ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
IPSN
2004
Springer
15 years 9 months ago
Backcasting: adaptive sampling for sensor networks
Wireless sensor networks provide an attractive approach to spatially monitoring environments. Wireless technology makes these systems relatively flexible, but also places heavy d...
Rebecca Willett, Aline Martin, Robert Nowak
« Prev « First page 2799 / 3071 Last » Next »