222 search results - page 32 / 45 » E-Matching with Free Variables |
WSTST
2005
Springer
14 years 1 months ago
2005
Springer
Breast cancer is one of the major tumor related cause of death in women. Various artificial intelligence techniques have been used to improve the diagnoses procedures and to aid t...
CSL
2004
Springer
14 years 29 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
SAS
2004
Springer
14 years 28 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
ICDT
2001
ACM
14 years 17 hour ago
2001
ACM
A number of efficient methods for evaluating first-order and monadic-second order queries on finite relational structures are based on tree-decompositions of structures or quer...
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
Good robot performance often relies upon the selection of design parameters that lead to a well conditioned Jacobian or impedance "design" matrix. In this paper, a new d...