1560 search results - page 296 / 312 » interfaces 2010 |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
ICDCS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Transmission power plays a crucial role in the design and performance of wireless networks. The issue is therefore complex since an increase in transmission power implies that a...
KDD
2010
ACM
14 years 1 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We introduce here our latest ‘smart laser projector’ prototype, i.e, a modified laser-based projector capable of augmenting all kind of surfaces while simultaneously using th...
SOUPS
2010
ACM
14 years 1 months ago
2010
ACM
Users of social networking sites often want to manage the sharing of information and content with different groups of people based on their differing relationships. However, group...