Sciweavers

6047 search results - page 40 / 1210
» Modeling with Extend
Sort
View
ARCS
2004
Springer
15 years 3 months ago
Extending the MVC Design Pattern towards a Task-Oriented Development Approach for Pervasive Computing Applications
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
Patrick Sauter, Gabriel Vögler, Günther ...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 1 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
ICPR
2000
IEEE
15 years 10 months ago
Experiments with an Extended Tangent Distance
Invariance is an important aspect in image object recognition. We present results obtained with an extended tangent distance incorporated in a kernel density based Bayesian classi...
Daniel Keysers, Hermann Ney, Jörg Dahmen, Tho...
CORR
2006
Springer
132views Education» more  CORR 2006»
14 years 9 months ago
Cross-Entropy method: convergence issues for extended implementation
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...
Frédéric Dambreville
IAT
2009
IEEE
14 years 7 months ago
Extending Algorithms for Mobile Robot Patrolling in the Presence of Adversaries to More Realistic Settings
Patrolling environments by means of autonomous mobile robots has received an increasing attention in the last few years. The interest of the agent community is mainly in the develo...
Nicola Basilico, Nicola Gatti, Thomas Rossi, Sofia...