Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers (Lecture Notes in Computer Science, nr. 4739)
Editat de Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibiaen Limba Engleză Paperback – 12 Nov 2007
Din seria Lecture Notes in Computer Science
-
20%
Preț: 997.58 lei
-
20%
Preț: 235.39 lei
-
20%
Preț: 395.93 lei
-
20%
Preț: 620.32 lei
-
20%
Preț: 760.11 lei
-
20%
Preț: 619.50 lei
-
20%
Preț: 553.54 lei
-
20%
Preț: 1003.82 lei
-
21%
Preț: 459.40 lei
-
23%
Preț: 314.85 lei
-
21%
Preț: 518.34 lei
-
21%
Preț: 438.63 lei
-
20%
Preț: 672.56 lei
-
21%
Preț: 373.21 lei
-
20%
Preț: 610.95 lei
-
26%
Preț: 533.33 lei
-
20%
Preț: 312.49 lei
-
20%
Preț: 776.70 lei
-
21%
Preț: 430.00 lei
-
20%
Preț: 312.49 lei
-
20%
Preț: 364.14 lei
-
20%
Preț: 1053.93 lei
-
20%
Preț: 739.98 lei
-
26%
Preț: 528.17 lei
-
26%
Preț: 535.77 lei
-
20%
Preț: 307.00 lei
-
20%
Preț: 404.19 lei
-
20%
Preț: 938.43 lei
-
20%
Preț: 1085.09 lei
-
7%
Preț: 493.66 lei
-
20%
Preț: 303.90 lei
-
20%
Preț: 412.67 lei
-
20%
Preț: 316.63 lei
-
5%
Preț: 345.15 lei
-
20%
Preț: 289.43 lei
-
21%
Preț: 377.67 lei
-
20%
Preț: 399.92 lei
-
20%
Preț: 414.10 lei
-
20%
Preț: 417.23 lei
-
20%
Preț: 760.11 lei
-
20%
Preț: 220.23 lei
-
20%
Preț: 590.72 lei
-
20%
Preț: 336.58 lei
-
20%
Preț: 620.88 lei
-
21%
Preț: 507.06 lei
-
20%
Preț: 398.49 lei
-
20%
Preț: 411.23 lei
-
20%
Preț: 404.19 lei
Preț: 776.70 lei
Preț vechi: 970.87 lei
-20%
Puncte Express: 1165
Preț estimativ în valută:
151.76€ • 184.07$ • 135.14£
151.76€ • 184.07$ • 135.14£
Carte indisponibilă temporar
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540758662
ISBN-10: 3540758666
Pagini: 1220
Dimensiuni: 155 x 235 x 68 mm
Greutate: 1.36 kg
Ediția: 2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science , Theoretical Computer Science and General Issues
Locul publicării: Berlin, Heidelberg, Germany
ISBN-10: 3540758666
Pagini: 1220
Dimensiuni: 155 x 235 x 68 mm
Greutate: 1.36 kg
Ediția: 2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science , Theoretical Computer Science and General Issues
Locul publicării: Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Systems
Theory
and
Simulation:
Formal
Approaches.-
On
Evolutionary
Systems.-
A
Systems
Theoretic
Approach
to
the
Design
of
Scalable
Cryptographic
Hash
Functions.-
Modelling
an
Activity
in
Wireless
Sensors
Network.-
Explanatory
Model
for
the
Break
of
Logic
Equivalence
by
Irrational
Agents
in
Elkan’s
Paradox.-
Entropy-Based
Modeling
and
Simulation
of
Evolution
in
Biological
Systems.-
Logistic
Regression
as
a
Computational
Tool
for
Dealing
with
Intransitivity.-
Synoptic
Maps
Forecast
Using
Spatio-temporal
Models.-
Ontology-Based
Modelling
of
Session
Management
Policies
for
Groupware
Applications.-
Computer
Aided
Development
and
Simulation
of
a
Remote
Control
VTOL
Tiltwing
Model
Aircraft.-
A
Simulation
Study
of
New
Security
Schemes
in
Mobile
Ad-Hoc
NETworks.-
An
Open
Modular
System
for
Monitoring
Remote
Sensors.-
A
Structure
for
Generalized
Space-Time
Processing:
The
Feedforward
Visual
Case.-
Arrays
and
Continuous
Attributes.-
Neuro-Immune-Endocrine
(NIE)
Models
for
Emergency
Services
Interoperatibility.-
Automatic
Change
Detection
in
Dynamical
System
with
Chaos
Based
on
Model,
Fractal
Dimension
and
Recurrence
Plot.-
Picard
Discretization
of
Nonlinear
Systems:
Symbolic
or
Numeric
Implementation?.-
An
Object-Oriented
and
Generic
Compiler
Generator.-
A
k-NN
Based
Perception
Scheme
for
Reinforcement
Learning.-
Computation
and
Simulation
in
Modelling
Biological
Systems.-
On
the
Estimation
of
First-Passage
Time
Densities
for
a
Class
of
Gauss-Markov
Processes.-
Simulation
of
Myosin
II
Dynamics
Modeled
by
a
Pulsating
Ratchet
with
Double-Well
Potentials.-
Random
Motion
with
Gamma-Distributed
Alternating
Velocities
in
Biological
Modeling.-
A
Prey-Predator
Model
for
Immune
Response
and
Drug
Resistance
in
Tumor
Growth.-
On
First-Passage
Problems
for
Asymmetric
One-Dimensional
Diffusions.-
Multivariate
Imputation
of
Genotype
Data
Using
Short
and
Long
Range
Disequilibrium.-
Neonatal
EEG
Sleep
Stages
Modelling
by
Temporal
Profiles.-
Intelligent
Information
Processing.-
On
the
Representation
of
Imperative
Programs
in
a
Logical
Framework.-
Using
Coq
to
Understand
Nested
Datatypes.-
Towards
a
Decentralized
and
Structured
Network
of
P2P
Public
Information
Screens.-
NowOnWeb:
News
Search
and
Summarization.-
Verification
of
Program
Properties
Using
Different
Theorem
Provers:
A
Case
Study.-
Temporal
Equilibrium
Logic:
A
First
Approach.-
A
Distributed
Filesystem
for
Spare
Storage.-
Generation
of
Indexes
for
Compiling
Efficient
Parsers
from
Formal
Specifications.-
From
Text
to
Knowledge.-
XML
Rules
for
Enclitic
Segmentation.-
Certified
Genetic
Algorithms:
Crossover
Operators
for
Permutations.-
Contextual
Spelling
Correction.-
Multiple
Label
Text
Categorization
on
a
Hierarchical
Thesaurus.-
A
Formal
Foundation
for
Knowledge
Integration
of
Defficent
Information
in
the
Semantic
Web.-
Using
Temporal
Logic
for
Spatial
Reasoning:
Temporalized
Propositional
Neighborhood
Logic.-
An
Integrated
Approach
to
Filtering
Phishing
E-mails.-
Formal
Reasoning
on
a
Web
Coordination
System.-
A
Multi-agent
System
for
Information
Retrieval.-
Knowledge
Integration
from
Multidimensional
Data
Sources.-
Computers
in
Education.-
Evolution
of
the
Design
and
Implementation
of
Tutor:
A
Web-Based
Educational
System
for
University
Courses.-
Using
Videogames
in
Special
Education.-
Facing
the
Challenges
of
the
European
Higher
Education
Area:
The
dMath
Project.-
A
Study
of
Tool
Support
for
the
Evaluation
of
Programming
Exercises.-
Aplying
a
Semantic
Hypermedia
Model
to
Adaptive
Concept
Maps
in
Education.-
Towards
Virtual
Course
Evaluation
Using
Web
Intelligence.-
KRRT:
Knowledge
Representation
and
Reasoning
Tutor
System.-
Fuzzy
Adaptive
Objects
(Logic
of
Monitors
as
Agents).-
E-Learning
Platform
as
a
Teaching
Support
in
Psychology.-
Wiki
Use
in
Learning
for
Topography
Spanish
Students.-
Grid
Computing.-
An
Interactive
Job
Manager
for
Globus.-
Interactive
Molecular
Dynamics
Simulations
on
the
Grid.-
Extending
the
Globus
Architecture
with
Role-Based
Trust
Management.-
GRID
Software
Solution
for
the
Segmentation
of
the
Coronary
Artery
Tree
in
Biplane
Angiograms.-
An
Intelligent
Scatter
with
Estimation
of
Distribution
for
Tabu
Search.-
A
Framework
of
GRID
Problem-Solving
Environment
Employing
Robust
Evolutionary
Search.-
A
Resources
Virtualization
Approach
Supporting
Uniform
Access
to
Heterogeneous
Grid
Resources.-
Applied
Formal
Verification.-
Pattern-Based
Verification
for
Trees.-
Using
Verification
Technology
to
Specify
and
Detect
Malware.-
A
Compositional
Approach
for
Equivalence
Checking
of
Sequential
Circuits
with
Unknown
Reset
State
and
Overlapping
Partitions.-
Efficient
Model
Checking
of
Applications
with
Input/Output.-
Ant
Colony
Optimization
for
Model
Checking.-
On
Combining
01X-Logic
and
QBF.-
Model
Checking
a
Video–on–Demand
Server
Using
McErlang.-
Compressing
Propositional
Proofs
by
Common
Subproof
Extraction.-
Verification
of
ACTL
Properties
by
Bounded
Model
Checking.-
Cellular
Automata.-
Application
of
Linear
Hybrid
Cellular
Automata
to
Stream
Ciphers.-
A
Highly
Nonlinear
Cellular
FSM-Combiner
for
Stream
Ciphers.-
Variations
on
Neighborhoods
in
CA.-
Hardware
Modelling
of
Cellular
Automata:
The
Game
of
Life
Case.-
Solving
the
Exploration’s
Problem
with
Several
Creatures
More
Efficiently.-
A
New
Time-Optimum
Synchronization
Algorithm
for
Two-Dimensional
Cellular
Arrays.-
Computer
Vision.-
3D
Motion
Estimation
Using
a
Combination
of
Correlation
and
Variational
Methods
for
PIV.-
Helicopter
Flight
Dynamics
Using
Soft
Computing
Models.-
Movement
Identification
Analysis
Based
on
Motion
Capture.-
Algorithmic
Lateral
Inhibition
Formal
Model
for
Real-Time
Motion
Detection.-
Second
Order
Variational
Optic
Flow
Estimation.-
An
Application
of
Optical
Flow:
Slow
Motion
Effect
on
Streaming
Image
Sequences.-
Comparing
Self-calibration
Methods
for
Static
Cameras.-
Automation
of
Snakes
in
Medical
Images.-
Symmetric
Optical
Flow.-
Real-Time
Stereo
Visual
SLAM
in
Large-Scale
Environments
Based
on
SIFT
Fingerprints.-
Tool
for
Creation
Realistic
Animation
of
Human-Like
Figures:
TRAF.-
An
Annotation
Tool
for
Video
Understanding.-
Temporal
Constraints
in
Large
Optical
Flow
Estimation.-
Comparing
Improved
Versions
of
‘K-Means’
and
‘Subtractive’
Clustering
in
a
Tracking
Application.-
FPGA
Real
Time
Lane
Departure
Warning
Hardware
System.-
Efficient
Combination
of
the
Fuzzy
Hough
Transform
and
the
Burns
Segment
Detector.-
Using
Fisher
Kernel
on
2D-Shape
Identification.-
Heuristic
Problem
Solving.-
Benefits
of
Plugin-Based
Heuristic
Optimization
Software
Systems.-
Metaheuristic
Approaches
for
Optimal
Broadcasting
Design
in
Metropolitan
MANETs.-
The
Influence
of
Data
Implementation
in
the
Performance
of
Evolutionary
Algorithms.-
Heuristic
Approach
to
Conflict
Problem
Solving
in
an
Intelligent
Multiagent
System.-
Optimal
Placement
of
Sensors
for
Trilateration:
Regular
Lattices
vs
Meta-heuristic
Solutions.-
Selection
Pressure
Driven
Sliding
Window
Behavior
in
Genetic
Programming
Based
Structure
Identification.-
Multi-Objective
Evolutionary
Algorithms
Using
the
Working
Point
and
the
TOPSIS
Method.-
Self-organizing
Feature
Maps
to
Solve
the
Undirected
Rural
Postman
Problem.-
Optimization
Methods
for
Large-Scale
Production
Scheduling
Problems.-
Self-adaptive
Population
Size
Adjustment
for
Genetic
Algorithms.-
Parallel
Tabu
Search
and
the
Multiobjective
Capacitated
Vehicle
Routing
Problem
with
Soft
Time
Windows.-
Bandit-Based
Monte-Carlo
Planning
for
the
Single-Machine
Total
Weighted
Tardiness
Scheduling
Problem.-
Using
GAs
to
Obtain
an
Optimal
Set
of
Codes
for
an
Ultrasonic
Local
Positioning
System.-
Using
Omnidirectional
BTS
and
Different
Evolutionary
Approaches
to
Solve
the
RND
Problem.-
Fast
Generation
of
Production
Schedules
on
a
Single
Machine.-
Determining
Orbital
Elements
of
Extrasolar
Planets
by
Evolution
Strategies.-
Training
Multiclass
Classifiers
by
Maximizing
the
Volume
Under
the
ROC
Surface.-
Selective
Association
in
Associative
Memories
–
An
Extension
of
the
Model
NEUNET.-
Towards
Constraint-Based
Preservation
in
Systems
Specification.-
Automated
Re-establishment
of
the
Synchronization
of
Real
and
Simulated
Project
Workflow.-
Automated
Modelling
in
Empirical
Social
Sciences
Using
a
Genetic
Algorithm.-
Extending
the
Growing
Neural
Gas
Classifier
for
Context
Recognition.-
Signal
Processing
Architectures.-
Neural
Network
Based
Path
Detection
for
an
FMCW
Positioning
System.-
Object
Oriented
Signal
Data
Structures
in
VLSI
Implementations
of
Wireless
Modems.-
A
Bandwidth
Efficiency
Optimized
Frequency
Domain
Equalization
Concept
for
Single
Carrier
Transmission.-
Optimized
Mapping
Schemes
for
LDPC
Coded
Higher
Order
Modulated
QAM
Transmission.-
Texture-Based
Filtering
and
Front-Propagation
Techniques
for
the
Segmentation
of
Ultrasound
Images.-
”Chameleon”
Software
Defined
Control
Platform.-
Sampling
Rate
Conversion
for
Timing
Adjustment
in
3.5G
Multimode
Mobile
Terminals.-
Accelerating
Space
Variant
Gaussian
Filtering
on
Graphics
Processing
Unit.-
Ant-Based
Topology
Convergence
Algorithms
for
Resource
Management
in
VANETs.-
Simulation
of
a
Signal
Arbitration
Algorithm
for
a
Sensor
Array.-
Robotics
and
Robotic
Soccer.-
Mini
Robots
for
Soccer.-
Embedded
Robotic
Solution:
Integrating
Robotics
Interfaces
with
a
High-Level
CPU
in
a
System-on-a-Chip.-
An
Embedded
Vision
Sensor
for
Robot
Soccer.-
MTVS:
A
Multi-task
Active-Vision
System.-
DES-Based
Coordination
of
Space-Sharing
Mobile
Robots.-
CASIMIRO,
The
Sociable
Robot.-
Processing
of
Myoelectric
Signals
by
Feature
Selection
and
Dimensionality
Reduction
for
the
Control
of
Powered
Upper-Limb
Prostheses.-
Cybercars
and
Intelligent
Vehicles.-
The
Anglet
Experiment:
A
Cybercar
on
the
Beach.-
Crossroad
Cooperative
Driving
Based
on
GPS
and
Wireless
Communications.-
Free
Space
in
Front
of
an
Autonomous
Guided
Vehicle
in
Inner-City
Conditions.-
Towards
a
Robust
Vision-Based
Obstacle
Perception
with
Classifier
Fusion
in
Cybercars.-
Using
Self-adapting
Navigation
Data
for
Intelligent,
Personalized
Vehicle
Guidance.-
Road
Approximation
in
Euclidean
and
v-Disparity
Space:
A
Comparative
Study.-
Vision-Based
Blind
Spot
Detection
Using
Optical
Flow.-
Ego-Motion
Computing
for
Vehicle
Velocity
Estimation.-
PSPRT:
A
Case
of
Pervasive
System
for
Public
Road
Transport.-
Study
of
Correlation
Among
Several
Traffic
Parameters
Using
Evolutionary
Algorithms:
Traffic
Flow,
Greenhouse
Emissions
and
Network
Occupancy.-
Robust
Obstacle
Detection
Based
on
Dense
Disparity
Maps.-
Cooperative
Maneuver
Study
Between
Autonomous
Cars:
Overtaking.-
Trajectory
Planning
in
a
Crossroads
for
a
Fleet
of
Driverless
Vehicles.-
Secure
and
Scalable
Communication
in
Vehicle
Ad
Hoc
Networks.-
Speed
Supervisor
for
Intelligent
Vehicles.-
Efficient
On-Board
Stereo
Vision
Pose
Estimation.-
Artificial
Intelligence
Components.-
Complex
Software
Problem
Solving
by
Means
of
Abstractive
Techniques.-
Active
MIB:
Addressing
Challenges
of
Wireless
Mesh
Networks.-
Fuzzy
Integration
of
Web
Data
Sources
for
Data
Warehousing.-
Comparison
of
WiFi
Map
Construction
Methods
for
WiFi
POMDP
Navigation
Systems.-
A
Practical
Agent-Based
Approach
for
Pattern
Layout
Design.