Sciweavers

4965 search results - page 648 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 8 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
CSL
2005
Springer
16 years 10 days ago
Towards a Typed Geometry of Interaction
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
Esfandiar Haghverdi, Philip J. Scott
COOPIS
2003
IEEE
16 years 2 days ago
Analysing Mailboxes of Asynchronous Communicating Components
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
Jean-Claude Royer, Michael Xu
ML
2012
ACM
413views Machine Learning» more  ML 2012»
14 years 2 months ago
Gradient-based boosting for statistical relational learning: The relational dependency network case
Dependency networks approximate a joint probability distribution over multiple random variables as a product of conditional distributions. Relational Dependency Networks (RDNs) are...
Sriraam Natarajan, Tushar Khot, Kristian Kersting,...
ECCV
2008
Springer
16 years 8 months ago
Structuring Visual Words in 3D for Arbitrary-View Object Localization
Abstract. We propose a novel and efficient method for generic arbitraryview object class detection and localization. In contrast to existing singleview and multi-view methods using...
Jianxiong Xiao, Jingni Chen, Dit-Yan Yeung, Long Q...