3073 search results - page 424 / 615 » Real World Verification |
187
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
183
click to vote
CSEE
2003
Springer
15 years 11 months ago
2003
Springer
Nowadays both industry and academic environments are showing a lot of interest in the Software Engineering discipline. Therefore, it is a challenge for universities to provide stu...
169
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
181
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
The Peer-to-Peer (p2p) and Grid infrastructure communities are tackling an overlapping set of problems. In addressing these problems, p2p solutions are usually motivated by elegan...
146
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...