21108 search results - page 3984 / 4222 » A General Class of Models of |
120
Voted
TCS
2002
15 years 10 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
134
click to vote
IDA
2008
Springer
15 years 7 days ago
2008
Springer
We developed Relational Data Mining approach which allows to overcome essential limitations of the Data Mining and Knowledge Discovery techniques. In the paper the approach was im...
119
click to vote
PAMI
2007
15 years 6 days ago
2007
We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under t...
98
Voted
COMCOM
2010
14 years 11 months ago
2010
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in und...
127
Voted
ESEM
2010
ACM
14 years 11 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...