Sciweavers

2920 search results - page 205 / 584
» Finite information logic
Sort
View
ECBS
2008
IEEE
106views Hardware» more  ECBS 2008»
16 years 1 months ago
AMABULO - A Model Architecture for Business Logic
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
Tobias Brückmann, Volker Gruhn
IEEEICCI
2007
IEEE
16 years 28 days ago
A Logic Language of Granular Computing
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
Yiyu Yao, Bing Zhou
VL
2007
IEEE
116views Visual Languages» more  VL 2007»
16 years 27 days ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda
SUM
2007
Springer
16 years 22 days ago
Finding Most Probable Worlds of Probabilistic Logic Programs
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
Samir Khuller, Maria Vanina Martinez, Dana S. Nau,...
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
16 years 8 days ago
Uniformly-Switching Logic for Cryptographic Hardware
Recent work on Differential Power Analysis shows that even mathematically-secure cryptographic protocols may be vulnerable at the physical implementation level. By measuring energ...
Igor L. Markov, Dmitri Maslov