Sciweavers

8768 search results - page 308 / 1754
» Generalizing the notion of support
Sort
View
210
Voted
BMCBI
2010
119views more  BMCBI 2010»
15 years 4 months ago
The INTERPRET Decision-Support System version 3.0 for evaluation of Magnetic Resonance Spectroscopy data from human brain tumour
Background: Proton Magnetic Resonance (MR) Spectroscopy (MRS) is a widely available technique for those clinical centres equipped with MR scanners. Unlike the rest of MR-based tec...
Alexander Pérez-Ruiz, Margarida Julià...
238
Voted
SIGMOD
2011
ACM
218views Database» more  SIGMOD 2011»
14 years 10 months ago
A data-oriented transaction execution engine and supporting tools
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
Ippokratis Pandis, Pinar Tözün, Miguel B...
CCS
2006
ACM
15 years 11 months ago
Safety and consistency in policy-based authorization systems
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
Adam J. Lee, Marianne Winslett
163
Voted
ICALT
2008
IEEE
16 years 1 months ago
A Learning Environment for Promoting Structured Algebraic Thinking in Children
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main dif...
Sergio Gutiérrez Santos, Manolis Mavrikis, ...
FROCOS
2005
Springer
16 years 1 months ago
A Comprehensive Framework for Combined Decision Procedures
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...