4987 search results - page 274 / 998 » Support Ordered Resolution |
151
click to vote
FSS
2010
15 years 1 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
121
Voted
TOCS
2011
14 years 11 months ago
2011
IP networks today require massive effort to configure and manage. Ethernet is vastly simpler to manage, but does not scale beyond small local area networks. This paper describes ...
188
Voted
SIAMREV
2011
14 years 7 months ago
2011
Magnetic Resonance Electrical Impedance Tomography (MREIT) is a new medical imaging modality providing high resolution static conductivity images based on the current injection MRI...
160
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
116
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Information Technology, IT, may play an important part in any community as a supporting tool in the democratic process. The conditions for that to happen are primarily a genuine w...