1471 search results - page 261 / 295 » Church: a language for generative models |
117
click to vote
PADS
2006
ACM
15 years 7 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
141
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
113
Voted
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
120
Voted
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
117
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...