5550 search results - page 100 / 1110 » Different Approaches to Proof Systems |
150
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
We are developing a personal activity recognition system that is practical, reliable, and can be incorporated into a variety of health-care related applications ranging from person...
171
click to vote
AINA
2005
IEEE
15 years 12 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
138
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
123
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we will describe the Berkeley approaches to the GeoCLEF tasks for CLEF 2006. This year we used two separate systems for different tasks. Although of the systems both...
210
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...