Results for:
"
Arathi
" in Documents
- Generic ILP versus Specialized 0-1 ILP An Update 2002 40 citations ? 1...
- Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further uses are complicated by ...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 15-05-09
- Generic ILP versus Specialized 0-1 ILP An Update 2002 34 citations ? 6...
- Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further uses are complicated by ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Situation awareness: understanding dynamic environments.
- OBJECTIVE: We present a snapshot of the work on situation awareness, which involves operators' comprehension of the dynamic situation that they are monitoring or controlling. BACKGROUND: Although huma...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2008-8-12
- Taurodontism of deciduous and permanent molars: report of two cases.
- Taurodontism is an aberration of teeth that lacks the constriction at the level of the CEJ characterized by elongated pulp chambers and apical displacement of bifurcation or trifurcation of the roots,...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2006-4-4
- Sampling and decision rules used by honey bees in a foraging arena.
- Animals must continuously choose among various available options to exploit the most profitable resource. They also need to keep themselves updated about the values of all available options, since the...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2006-8-31
- Inbreeding and the genetic variance in floral traits of Mimulus guttat...
- The additive genetic variance, V(A), is frequently used as a measure of evolutionary potential in natural plant populations. Many plants inbreed to some extent; a notable observation given that random...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2003-1-11
- 98 Automatically Exploiting Symmetries in Constraint Programming
- Abstract. We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and non-linear equations, then compiles them into SA...
-
Rating:
Views: (1014)
Pages: ()
Uploaded: 08-04-09
- Time Spectral Method for Periodic Unsteady Computations over Two and t...
- The Time Spectral Algorithm is proposed for the fast and efficient computation of timeperiodic turbulent Navier-Stokes calculations past two- and three-dimensional bodies. The efficiency of the approa...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 08-04-09