5525 search results - page 945 / 1105 » Verification of Model Transformations |
151
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
169
click to vote
LATIN
2010
Springer
15 years 5 months ago
2010
Springer
We study the problem of designing truthful algorithms for scheduling a set of tasks, each one owned by a selfish agent, to a set of parallel (identical or unrelated) machines in or...
123
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
163
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
130
Voted
MVA
2007
15 years 5 months ago
2007
This paper proposes a novel approach for vehicle orientation detection using “vehicle color” and edge information based on clustering framework. To extract the “vehicle colo...