5550 search results - page 183 / 1110 » Different Approaches to Proof Systems |
168
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
155
click to vote
LISA
2007
15 years 8 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
199
click to vote
MSV
2004
15 years 7 months ago
2004
The main research in the area of image databases addresses the improvement of retrieval quality and the speedup of the query processing. A number of image retrieval systems reache...
177
click to vote
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
172
click to vote
AI
2007
Springer
16 years 21 days ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...