2907 search results - page 460 / 582 » Presentations of Structures in Admissible Sets |
156
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
159
click to vote
FPGA
2001
ACM
15 years 10 months ago
2001
ACM
Conventional technology mapping algorithms for SRAM-based Field Programmable Gate Arrays (FPGAs) are normally carried out on a fixed logic decomposition of a circuit. The impact o...
167
click to vote
MCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Given an arbitrary data set, to which no particular parametrical, statistical or geometrical structure can be assumed, different clustering algorithms will in general pr...
162
click to vote
PCI
2001
Springer
15 years 10 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
190
click to vote
RTA
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...