5022 search results - page 578 / 1005 » Data structures and problem solving using Java |
110
click to vote
ARSCOM
2007
15 years 4 months ago
2007
A subset D of the vertex set V of a graph is called an open oddd dominating set if each vertex in V is adjacent to an odd number of vertices in D (adjacency is irreflexive). In t...
91
Voted
DM
2006
15 years 4 months ago
2006
Within a large family of crossover designs this paper characterizes the mathematical structures of A-optimal and A-efficient crossover designs for the purpose of statistical compa...
142
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
129
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A standard fMRI experiment is structured around the assumption that onset of relevant neural activity occurs almost immediately after external stimulus. Introducing deliberate len...