697 search results - page 132 / 140 » Decomposition Structures for Event-B |
121
click to vote
PROMAS
2004
Springer
15 years 5 months ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
The decomposition of a document into segments such as text regions and graphics is a significant part of the document analysis process. The basic requirement for rating and impro...
126
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
117
click to vote
COMPGEOM
2003
ACM
15 years 5 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
SPAA
2003
ACM
15 years 5 months ago
2003
ACM
We propose a new approach for constructing P2P networks based on a dynamic decomposition of a continuous space into cells corresponding to servers. We demonstrate the power of thi...