Sciweavers

4166 search results - page 58 / 834
» Automating the constraining process
Sort
View
DAC
2002
ACM
15 years 10 months ago
System design methodologies for a wireless security processing platform
Srivaths Ravi, Anand Raghunathan, Nachiketh R. Pot...
LICS
2007
IEEE
15 years 4 months ago
Characterising Testing Preorders for Finite Probabilistic Processes
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
GIS
2008
ACM
15 years 11 months ago
The multi-rule partial sequenced route query
Trip planning search (TPS) represents an important class of queries in Geographic Information Systems (GIS). In many real-world applications, TPS requests are issued with a number...
Haiquan Chen, Wei-Shinn Ku, Min-Te Sun, Roger Zimm...
JDCTA
2010
146views more  JDCTA 2010»
14 years 4 months ago
Modelling for Cruise Two-Dimensional Online Revenue Management System
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
Bingzhou Li