4242 search results - page 382 / 849 » An Event Spacing Experiment |
153
click to vote
FMOODS
2006
15 years 9 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
204
click to vote
FTCS
1998
15 years 9 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
192
click to vote
WCE
2007
15 years 8 months ago
2007
— The rapid transit network design problem considers at upper level the list of potential transit corridors and stations to design the network as a discrete space of alternatives...
201
click to vote
GISCIENCE
2010
Springer
15 years 8 months ago
2010
Springer
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
222
click to vote
APIN
2004
15 years 7 months ago
2004
A rough self-organizing map (RSOM) with fuzzy discretization of feature space is described here. Discernibility reducts obtained using rough set theory are used to extract domain k...