Sciweavers

373 search results - page 56 / 75
» Explicitly Modelling Model Debugging Environments
Sort
View
GLOBECOM
2008
IEEE
15 years 4 months ago
Foresighted Resource Reciprocation Strategies in P2P Networks
—We consider peer-to-peer (P2P) networks, where multiple peers are interested in sharing content. While sharing resources, autonomous and self-interested peers need to make decis...
Hyunggon Park, Mihaela van der Schaar
IEEESCC
2006
IEEE
15 years 3 months ago
Multiagent Policy Architecture for Virtual Business Organizations
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
Yathiraj B. Udupi, Munindar P. Singh
CVPR
2009
IEEE
16 years 5 months ago
Nonrigid Shape Recovery by Gaussian Process Regression
Most state-of-the-art nonrigid shape recovery methods usually use explicit deformable mesh models to regularize surface deformation and constrain the search space. These triangu...
Jianke Zhu, Michael R. Lyu, Steven C. H. Hoi
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 4 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
IUI
2003
ACM
15 years 3 months ago
Dynamic web page authoring by example using ontology-based domain knowledge
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
José Antonio Macías Iglesias, Pablo ...