Sciweavers

1231 search results - page 172 / 247
» A Framework for Belief Update
Sort
View
CSL
1992
Springer
14 years 2 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
AICT
2006
IEEE
123views Communications» more  AICT 2006»
14 years 1 months ago
Issues related to Development of Wireless Peer-to-Peer Games in J2ME
This paper describes and discusses challenges related to development of peer-to-peer games in J2ME using the available Bluetooth API (JSR82). By using Bluetooth on wireless device...
Alf Inge Wang, Michael Sars Norum, Carl-Henrik Wol...
CORR
2000
Springer
96views Education» more  CORR 2000»
13 years 10 months ago
A Bayesian Reflection on Surfaces
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
David R. Wolf
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 8 months ago
Active Integrity Constraints and Revision Programming
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
Luciano Caroprese, Miroslaw Truszczynski
PKDD
2010
Springer
166views Data Mining» more  PKDD 2010»
13 years 8 months ago
A Cluster-Level Semi-supervision Model for Interactive Clustering
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...
Avinava Dubey, Indrajit Bhattacharya, Shantanu God...