1297 search results - page 137 / 260 » Semantic Correctness in Adaptive Process Management Systems |
MKM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...
AVSS
2008
IEEE
13 years 9 months ago
2008
IEEE
Moving object classification in far-field video is a key component of smart surveillance systems. In this paper, we propose a reliable system for person-vehicle classification whi...
CN
2007
13 years 9 months ago
2007
— Energy efficient operation is of paramount importance for battery-powered wireless nodes. In an effort to conserve energy, standard protocols for WLANs have the provision for w...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...