10916 search results - page 202 / 2184 » On Constructive Connectives and Systems |
154
click to vote
AAECC
1993
Springer
15 years 10 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
174
click to vote
AAAI
1990
15 years 7 months ago
1990
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
155
click to vote
ADG
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...
116
click to vote
ACTAC
2005
15 years 6 months ago
2005
: In this paper the lexicographic decision process is presented in a unified way. We construct a lexicographic decision function using a universal preference function and a unary f...
262
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...