250 search results - page 39 / 50 » Reflections on Finite Model Theory |
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
77
Voted
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
Instead of aiming at the augmentation of human communication abilities as other social software does, social network services (SNS) provide better chances for people to enhance th...
FSKD
2007
Springer
15 years 3 months ago
2007
Springer
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...
VISUAL
2005
Springer
15 years 3 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...