Sciweavers

5510 search results - page 207 / 1102
» Mathematics
Sort
View
CAEPIA
2003
Springer
15 years 9 months ago
An Interactive Train Scheduling Tool for Solving and Plotting Running Maps
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...
Federico Barber, Miguel A. Salido, Laura Paola Ing...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
IDA
2003
Springer
15 years 9 months ago
Topology and Intelligent Data Analysis
A broad range of mathematical techniques, ranging from statistics to fuzzy logic, have been used to great advantage in intelligent data analysis. Topology – the fundamental mathe...
V. Robins, Jennifer Abernethy, N. Rooney, Elizabet...
LICS
2002
IEEE
15 years 9 months ago
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
Mikkel Nygaard, Glynn Winskel
FUN
2010
Springer
251views Algorithms» more  FUN 2010»
15 years 9 months ago
UNO Is Hard, Even for a Single Player
UNOR is one of the world-wide well-known and popular card games. We investigate UNO from the viewpoint of combinatorial algorithmic game theory by giving some simple and concise ma...
Erik D. Demaine, Martin L. Demaine, Ryuhei Uehara,...