1297 search results - page 137 / 260 » Semantic Correctness in Adaptive Process Management Systems |
155
click to vote
MKM
2005
Springer
15 years 11 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 ...
168
click to vote
RTAS
2009
IEEE
16 years 3 days 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...
160
click to vote
AVSS
2008
IEEE
15 years 5 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...
160
click to vote
CN
2007
15 years 5 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...
168
click to vote
SAC
2005
ACM
15 years 11 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...