3874 search results - page 635 / 775 » Approximation Algorithms for k-hurdle Problems |
168
click to vote
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
126
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
131
Voted
SIGMOD
1998
ACM
15 years 8 months ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
139
click to vote
EMMCVPR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...
130
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In multiagent planning, it is often convenient to view a problem as two subproblems: agent local planning and coordination. Thus, we can classify agent activities into two categor...