122 search results - page 10 / 25 » Definability in the Infix Order on Words |
DMS
2008
13 years 9 months ago
2008
Location-Based Services (LBS) are more and more commonly accessed through PDA or smart phones. As portals deriving of services delivered by a unique provider are easy to define, t...
NIPS
2008
13 years 9 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
AUTOMATICA
2008
13 years 7 months ago
2008
Periodic smoothing splines appear for example as generators of closed, planar curves, and in this paper they are constructed using a controlled two point boundary value problem in...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper is the second part of a series of two papers dealing with bulking: a way to define quasi-order on cellular automata by comparing space-time diagrams up to rescaling. In...
ENTCS
2006
13 years 7 months ago
2006
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...