1221 search results - page 22 / 245 » Two Consistency Results on Set Mappings |
ORDER
2010
13 years 8 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
— This paper describes two robotic systems developed for acquiring accurate volumetric maps of underground mines. One system is based on a cart instrumented by laser range finde...
SIAMCO
2002
13 years 9 months ago
2002
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
ERCIMDL
2006
Springer
14 years 1 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...