Sciweavers

4987 search results - page 274 / 998
» Support Ordered Resolution
Sort
View
FSS
2010
102views more  FSS 2010»
15 years 1 months ago
Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
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...
Guilin Qi, Weiru Liu, David A. Bell
121
Voted
TOCS
2011
111views more  TOCS 2011»
14 years 11 months ago
SEATTLE: A Scalable Ethernet Architecture for Large Enterprises
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 ...
Changhoon Kim, Matthew Caesar, Jennifer Rexford
188
Voted
SIAMREV
2011
131views more  SIAMREV 2011»
14 years 7 months ago
Magnetic Resonance Electrical Impedance Tomography (MREIT)
Magnetic Resonance Electrical Impedance Tomography (MREIT) is a new medical imaging modality providing high resolution static conductivity images based on the current injection MRI...
Jin Keun Seo, Eung Je Woo
CAV
2012
Springer
222views Hardware» more  CAV 2012»
13 years 7 months ago
Leveraging Interpolant Strength in Model Checking
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...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 10 months ago
Democracy Functions of Information Technology
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...
Gunnar Lidén, Anders Avdic