1699 search results - page 80 / 340 » A timed semantics of Orc |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
MOBIHOC
2008
ACM
14 years 8 months ago
2008
ACM
As the use of wireless sensor networks expands, there will be multiple, independent networks operating in the same physical space. These networks will run heterogeneous applicatio...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
Three-dimensional data generated from range scanners is usually composed of a huge amount of information. Simplification and compression techniques must be adopted in order to red...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...