2070 search results - page 137 / 414 » A Reduced-Basis Element Method |
124
click to vote
AAAI
1998
15 years 5 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
ACL
1998
15 years 5 months ago
1998
In this paper I will report the result of a quantitative analysis of the dynamics of the constituent elements of Japanese terminology. In Japanese technical terms, the linguistic ...
143
click to vote
COCOA
2008
Springer
15 years 5 months ago
2008
Springer
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of sol...
125
click to vote
MOC
2000
15 years 3 months ago
2000
The purpose of this paper is to describe a method to determine whether a bivariate polynomial with rational coefficients is irreducible when regarded as an element in Q((x))[y], th...
119
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper deals with the problem of spectral reflectance estimation from color camera outputs. Because the reconstruction of such functions is an inverse problem, stabilizing the...