4488 search results - page 374 / 898 » Properties of NP-Complete Sets |
185
click to vote
UIST
2009
ACM
16 years 2 months ago
2009
ACM
Current interactions on direct-touch interactive surfaces are often modeled based on properties of the input channel that are common in traditional graphical user interfaces (GUI)...
191
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— Methods for direct data-driven tuning of the parameters of precompensators for LPV systems are developed. Since the commutativity property is not always satisfied for LPV syst...
170
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
179
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
197
click to vote
GLOBECOM
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...