Sciweavers

OR
2005
Springer
14 years 5 months ago
Optimal Fares for Public Transport
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
Ralf Borndörfer, Marika Neumann, Marc E. Pfet...
MIRRORBOT
2005
Springer
154views Robotics» more  MIRRORBOT 2005»
14 years 5 months ago
Spatial Representation and Navigation in a Bio-inspired Robot
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
Denis Sheynikhovich, Ricardo Chavarriaga, Thomas S...
KES
2005
Springer
14 years 5 months ago
Learning Within the BDI Framework: An Empirical Analysis
One of the limitations of the BDI (Belief-Desire-Intention) model is the lack of any explicit mechanisms within the architecture to be able to learn. In particular, BDI agents do n...
Toan Phung, Michael Winikoff, Lin Padgham
JSSPP
2005
Springer
14 years 5 months ago
Modeling User Runtime Estimates
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
Dan Tsafrir, Yoav Etsion, Dror G. Feitelson
IJCNLP
2005
Springer
14 years 5 months ago
Adapting a Probabilistic Disambiguation Model of an HPSG Parser to a New Domain
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii
ICNC
2005
Springer
14 years 5 months ago
DNA Computing Approach to Construction of Semantic Model
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...
Yusei Tsuboi, Zuwairie Ibrahim, Nobuyuki Kasai, Os...
ICCS
2005
Springer
14 years 5 months ago
Cost Model and Adaptive Scheme for Publish/Subscribe Systems on Mobile Grid Environments
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications. This paper presents cost model for publish/subscribe systems, analyze its perfo...
Sangyoon Oh, Sangmi Lee Pallickara, Sung Hoon Ko, ...
GI
2005
Springer
14 years 5 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
FOSSACS
2005
Springer
14 years 5 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
FIMH
2005
Springer
14 years 5 months ago
Estimating Local Apparent Conductivity with a 2-D Electrophysiological Model of the Heart
Abstract. In this article we study the problem of estimating the parameters of a 2-D electrophysiological model of the heart from a set of temporal recordings of extracellular pote...
Valérie Moreau-Villéger, Hervé...