Sciweavers

1245 search results - page 97 / 249
» Playing with Conway's problem
Sort
View
AAAI
2008
14 years 13 days ago
On the Enactability of Business Protocols
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
Nirmit Desai, Munindar P. Singh
DLOG
2007
14 years 13 days ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto
WSC
2007
14 years 13 days ago
Monte Carlo methods in the physical sciences
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
Malvin H. Kalos
ACOM
2006
Springer
14 years 2 days ago
ACL Semantics Between Social Commitments and Mental Attitudes
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
Guido Boella, Rossana Damiano, Joris Hulstijn, Lee...
FASE
2008
Springer
13 years 12 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange