7064 search results - page 1145 / 1413 » From States to Histories |
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
135
click to vote
MSS
2008
IEEE
15 years 6 months ago
2008
IEEE
We examine the role played by information in shaping popular expectations in the process of political mobilization, and the development of revolutionary movements in particular. T...
190
click to vote
JWSR
2006
15 years 6 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
197
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
194
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...