Sciweavers

14331 search results - page 417 / 2867
» On the modeling and analysis of obligations
Sort
View
CASCON
1996
89views Education» more  CASCON 1996»
15 years 8 months ago
A comparison of algorithms for interprocedural class analysis
Message passing overhead is often a substantial source of runtime overhead in object-oriented applications. To combat this performance problem, a number of techniques have been de...
David Grove
CCE
2006
15 years 7 months ago
Sensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serb...
GLOBECOM
2006
IEEE
16 years 29 days ago
Analysis of IEEE 802.11 DCF with Hidden Terminals
—The mandatory access mode in IEEE 802.11 MAC is Distributed Coordination Function (DCF), which provides both basic access and RTS/CTS(request-to-send/clear-to-send) access. Prev...
Haitao Wu, Fan Zhu, Qian Zhang, Zhisheng Niu
ECAI
2004
Springer
16 years 8 days ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
16 years 3 days ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz