716 search results - page 13 / 144 » Rule Formats for Timed Processes |
IJCAI
1993
13 years 8 months ago
1993
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
MOBIHOC
2001
ACM
14 years 7 months ago
2001
ACM
A Bluetooth ad hoc network can be formed by interconnecting piconets into scatternets. The constraints and properties of Bluetooth scatternets present special challenges in formin...
WSC
2004
13 years 9 months ago
2004
In this paper, we consider semiconductor manufacturing processes that can be characterized by a diverse product mix, heterogeneous parallel machines, sequence-dependent setup time...
IADIS
2008
13 years 9 months ago
2008
Time series analysis is a wide area of knowledge that studies processes in their evolution. The classical research in the area tends to find global laws underlying the behaviour o...
WSCG
2004
13 years 9 months ago
2004
In this paper we describe a robust and efficient procedure to detect skin region with homogeneous color values in monocular indoor images. The mathematical background is a functio...