1948 search results - page 290 / 390 » Formalizing Mirror Theory |
DOCENG
2009
ACM
15 years 6 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
HT
2009
ACM
15 years 6 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
VRML
2009
ACM
15 years 6 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
105
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...