236 search results - page 18 / 48 » Strong normalization results by translation |
EPIA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
SIGIR
1998
ACM
14 years 3 months ago
1998
ACM
We investigate an automatic method for Cross Language Information Retrieval (CLIR) that utilizes the multilingual UMLS Metathesaurus to translate Spanish and French natural languag...
BMCBI
2004
13 years 10 months ago
2004
Background: To cancel experimental variations, microarray data must be normalized prior to analysis. Where an appropriate model for statistical data distribution is available, a p...
PODS
2009
ACM
14 years 11 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— The paper contributes to presenting both an accurate and robust shape tracking algorithm and a novel visual servoing method. Two steps are involved in the tracking algorithm. F...