3600 search results - page 204 / 720 » The settling-time reducibility ordering |
162
click to vote
SAT
2005
Springer
16 years 2 hour ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
176
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
170
click to vote
MIR
2004
ACM
15 years 12 months ago
2004
ACM
Searching moving object trajectories of video databases has been applied to many fields, such as video data analysis, content-based video retrieval, video scene classification. ...
171
click to vote
PADS
2004
ACM
15 years 12 months ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved significantly without compromising ...
165
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
We consider a kernel-based approach to nonlinear classification that coordinates the generation of “synthetic” points (to be used in the kernel) with “chunking” (working wi...