5244 search results - page 803 / 1049 » Structural Complexity of AvgBPP |
155
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
183
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
175
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Self-Organizing Map (SOM) is an unsupervised learning neural network and it is used for preserving the structural relationships in the data without prior knowledge. SOM h...
184
click to vote
ICDT
2003
ACM
15 years 12 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...