Sciweavers

98 search results - page 7 / 20
» A note on weak dividing
Sort
View
AML
2002
66views more  AML 2002»
13 years 7 months ago
A primer of simple theories
We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shela...
Rami P. Grossberg, José Iovino, Olivier Les...
RP
2010
Springer
126views Control Systems» more  RP 2010»
13 years 5 months ago
Lossy Counter Machines Decidability Cheat Sheet
Abstract. Lossy counter machines (LCM’s) are a variant of Minsky counter machines based on weak (or unreliable) counters in the sense that they can decrease nondeterministically ...
Philippe Schnoebelen
EUC
2008
Springer
13 years 9 months ago
A Qualitative Risk Analysis for the GPRS Technology
This paper presents a qualitative risk analysis of the General Packet Radio Service (GPRS) technology. GPRS presents several essential security weaknesses which may lead to securi...
Christos Xenakis, Danae Apostolopoulou, Angeliki P...
CHI
2007
ACM
14 years 8 months ago
Medical sensemaking with entity workspace
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
Dorrit Billman, Eric A. Bier
ICDE
2008
IEEE
182views Database» more  ICDE 2008»
14 years 1 months ago
Two-phase schema matching in real world relational databases
— We propose a new approach to the problem of schema matching in relational databases that merges the hybrid and composite approach of combining multiple individual matching tech...
Nikolaos Bozovic, Vasilis Vassalos