7167 search results - page 1038 / 1434 » Answer Set Programming |
100
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The hop constrained min-sum arborescence with outage costs problem consists of selecting links in a network so as to connect a set of terminal nodes N={2,3,……n} to a central n...
115
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
109
Voted
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
129
Voted
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
123
Voted
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...