662 search results - page 101 / 133 » Formalizing Basic First Order Model Theory |
APAL
2010
13 years 9 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
WMTE
2002
IEEE
14 years 1 months ago
2002
IEEE
Our research aims at defining models and software tools in order to provide learners with a training memory. This memory is a computer-based space where a learner can organize and...