4255 search results - page 536 / 851 » Cover |
149
click to vote
BPM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
154
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
163
click to vote
CIARP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
155
click to vote
CICLING
2005
Springer
16 years 8 days ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
159
click to vote
COCOON
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We investigate the online exploration problem of a shortsighted mobile robot moving in an unknown cellular room without obstacles. The robot has a very limited sensor; it...