Sciweavers

1567 search results - page 63 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
PCM
2007
Springer
109views Multimedia» more  PCM 2007»
15 years 7 months ago
Modeling User Feedback Using a Hierarchical Graphical Model for Interactive Image Retrieval
Relevance feedback is an important mechanism for narrowing the semantic gap in content-based image retrieval and the process involves the user labeling positive and negative images...
Jian Guan, Guoping Qiu
COMPGEOM
2004
ACM
15 years 7 months ago
Approximate convex decomposition of polygons
We propose a strategy to decompose a polygon, containing zero or more holes, into “approximately convex” pieces. For many applications, the approximately convex components of ...
Jyh-Ming Lien, Nancy M. Amato
RTSS
1998
IEEE
15 years 5 months ago
Elastic Task Model for Adaptive Rate Control
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
PRIMA
2009
Springer
15 years 8 months ago
A Multiagent Model for Provider-Centered Trust in Composite Web Services
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
Julien Bourdon, Laurent Vercouter, Toru Ishida
115
Voted
ENTCS
2002
112views more  ENTCS 2002»
15 years 1 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan