Sciweavers

3073 search results - page 487 / 615
» Real World Verification
Sort
View
COR
2007
157views more  COR 2007»
13 years 10 months ago
A decision support system for the single-depot vehicle rescheduling problem
Disruptions in trips can prevent vehicles from executing their schedules as planned. Mechanical failures, accidents, and traffic congestion often hinder a vehicle schedule. When a...
Jing-Quan Li, Denis Borenstein, Pitu B. Mirchandan...
DSS
2002
82views more  DSS 2002»
13 years 10 months ago
On the discovery of process models from their instances
A thorough understanding of the way in which existing business processes currently practice is essential from the perspectives of both process reengineering and workflow managemen...
San-Yih Hwang, Wan-Shiou Yang
AROBOTS
1999
140views more  AROBOTS 1999»
13 years 9 months ago
A Robust Analog VLSI Motion Sensor Based on the Visual System of the Fly
Sensing visual motion gives a creature valuable information about its interactions with the environment. Flies in particular use visual motion information to navigate through turbu...
Reid R. Harrison, Christof Koch
IOR
2002
179views more  IOR 2002»
13 years 9 months ago
Decision Analysis: A Personal Account of How It Got Started and Evolved
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
Howard Raiffa
JGAA
2002
99views more  JGAA 2002»
13 years 9 months ago
Graph Layout Aesthetics in UML Diagrams: User Preferences
The merit of automatic graph layout algorithms is typically judged by their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minim...
Helen C. Purchase, Jo-Anne Allder, David A. Carrin...