92 search results - page 14 / 19 » Decidable Reasoning over Timestamped Conceptual Models |
140
click to vote
ICDM
2010
IEEE
15 years 3 months ago
2010
IEEE
On large datasets, the popular training approach has been stochastic gradient descent (SGD). This paper proposes a modification of SGD, called averaged SGD with feedback (ASF), tha...
156
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We consider the problem of computing the likelihood of a gesture from regular, unaided video sequences, without relying on perfect segmentation of the scene. Instead of requiring ...
185
click to vote
DLOG
2008
15 years 8 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
156
click to vote
LICS
2007
IEEE
16 years 1 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
182
click to vote
WSC
2000
15 years 7 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...