5451 search results - page 760 / 1091 » Typed Operational Semantics |
218
click to vote
COMAD
2009
15 years 7 months ago
2009
Most defect-tracking systems provide canned reports and the ability to create custom reports. These reports provide a snapshot of the defects in the system and allow different typ...
190
click to vote
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider random instances of constraint satisfaction problems where each variable has domain size O(1), each constraint is on O(1) variables and the constraints are chosen from...
165
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a variant of Quantum behaved Particle Swarm Optimization (QPSO) named Q-QPSO for solving global optimization problems. The Q-QPSO algorithm is based on the cha...
166
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
A new focus measure system is proposed based on complex wavelet transform and quadrature pair of steerable filters. In shape from focus (SFF), noise, illumination variation and or...
168
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...