4397 search results - page 335 / 880 » Relational Algebra Operations |
153
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
143
click to vote
PPSN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Evolutionary algorithms have been shown to be very successful for a wide range of NP-hard combinatorial optimization problems. We investigate the NP-hard problem of compu...
108
Voted
JCIT
2010
14 years 11 months ago
2010
For the purpose of equipment training, realistic training environments need to be built and makes operators having an immersed sense. Aiming at present military requirement for eq...
181
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
137
click to vote
GIAE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...