12981 search results - page 2336 / 2597 » Model Checking (Abstract) |
162
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
157
click to vote
DASFAA
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. Although XML is the dominant standard for publishing and exchanging data for Internet-based business applications, data is typically stored in relational or object-relati...
153
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...
136
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functio...
159
click to vote
EH
2004
IEEE
15 years 8 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...