Sciweavers

9018 search results - page 1457 / 1804
» 3D-Brain Model Software
Sort
View
161
Voted
FSEN
2007
Springer
16 years 26 days ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
FSTTCS
2007
Springer
16 years 26 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
16 years 26 days ago
An estimation of distribution algorithm with guided mutation for a complex flow shop scheduling problem
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
Abdellah Salhi, José Antonio Vázquez...
IBPRIA
2007
Springer
16 years 26 days ago
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Gilles Dequen, Laure Devendeville, E. Mouaddib
ICWE
2007
Springer
16 years 26 days ago
Adaptive portal framework for Semantic Web applications
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
Michal Barla, Peter Bartalos, Mária Bieliko...
« Prev « First page 1457 / 1804 Last » Next »