5015 search results - page 321 / 1003 » Model Checking a Path |
145
click to vote
ICN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
152
click to vote
SI3D
2010
ACM
15 years 12 months ago
2010
ACM
Path planning is an active topic in the literature, and efficient navigation over non-planar surfaces is an open research question. In this work we present a novel technique for ...
164
click to vote
MCS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...
192
click to vote
AAAI
2007
15 years 9 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
141
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...