4041 search results - page 149 / 809 » time 2009 |
152
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss th...
161
click to vote
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
An induced packing of odd cycles in a graph is a packing such that there is no edge in a graph between any two odd cycles in the packing. We prove that the problem is solvable in t...
142
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We prove that a controllable set of smooth trajectories is the solution set of a constant coefficient linear differential equation if and only if it is linear, time in...
169
click to vote
ATMOS
2009
15 years 7 months ago
2009
We address a problem in air traffic management: scheduling flights in order to minimize the maximum number of aircraft that simultaneously lie within a single air traffic control ...
151
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...