2293 search results - page 188 / 459 » Temporal Logic in Information Systems |
215
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
220
Voted
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—We propose a new scheme for limited feedback in MIMO systems. We consider transmit beamforming and receiver maximal ratio combining as a base for our work, and propose a novel b...
153
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the tracking system from Athens Information Technology that participated to the pedestrian and vehicle surveillance task of the CLEAR 2006 evaluations. Two are ...
171
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
189
click to vote
XSYM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...