2107 search results - page 80 / 422 » b 2007 |
FASE
2007
Springer
14 years 4 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
EJC
2007
13 years 10 months ago
2007
Let A and B be hypergraphs with a common vertex set V . In a (p, q, A ∪ B) Bart-Moe game, the players take turns selecting previously unclaimed vertices of V . The game ends whe...
AUTOMATICA
2005
13 years 10 months ago
2005
The Integral-Inequality Method is a new way of tackling the delay-dependent stabilization problem for a linear system with time-varying state and input delays: x(t) = Ax(t) + A1x(...
MEDINFO
2007
13 years 11 months ago
2007
Abstraction and Data Mining with Visualization of Laboratory Data Katsuhiko Takabayashi a , Tu Bao Ho b , Hideto Yokoi c , Trong Dung Nguyen b , Saori Kawasaki b , Si Quang Le b , ...
AAAI
2007
14 years 10 days ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...