Sciweavers

Share
565 search results - page 113 / 113
» Mathematical programming based debugging
Sort
View
CADE
2001
Springer
9 years 10 months ago
More On Implicit Syntax
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
Marko Luther
MOBIHOC
2005
ACM
9 years 9 months ago
A distributed coordination framework for wireless sensor and actor networks
Wireless Sensor and Actor Networks (WSANs) are composed of a large number of heterogeneous nodes called sensors and actors. The collaborative operation of sensors enables the dist...
Tommaso Melodia, Dario Pompili, Vehbi C. Gungor, I...
IPPS
2009
IEEE
9 years 4 months ago
Implementing and evaluating multithreaded triad census algorithms on the Cray XMT
Commonly represented as directed graphs, social networks depict relationships and behaviors among social entities such as people, groups, and organizations. Social network analysi...
George Chin Jr., Andrès Márquez, Sut...
EOR
2016
41views more  EOR 2016»
3 years 6 months ago
Regulating vehicle sharing systems through parking reservation policies: Analysis and performance bounds
: We study the regulation of one-way vehicle sharing systems through parking reservation policies. We measure the performance of these systems in terms of the total excess travel t...
Mor Kaspi, Tal Raviv, Michal Tzur, Hila Galili
TBE
2016
46views more  TBE 2016»
3 years 6 months ago
Noninvasive Estimation of Respiratory Mechanics in Spontaneously Breathing Ventilated Patients: A Constrained Optimization Appro
— This paper presents a method for breath-by-breath noninvasive estimation of respiratory resistance and elastance in mechanically ventilated patients. For passive patients, well...
Francesco Vicario, Antonio Albanese, Nikolaos Kara...
books