Sciweavers

1113 search results - page 69 / 223
» Counter Systems for Data Logics
Sort
View
ERCIMDL
2010
Springer
135views Education» more  ERCIMDL 2010»
15 years 5 months ago
Automating Logical Preservation for Small Institutions with Hoppla
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...
Stephan Strodl, Petar Petrov, Michael Greifeneder,...
FCSC
2011
413views VLSI» more  FCSC 2011»
14 years 7 months ago
Type-2 fuzzy description logic
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
Ruixuan Li, Kunmei Wen, Xiwu Gu, Yuhua Li, Xiaolin...
ICTAI
2009
IEEE
15 years 11 months ago
Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...
Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung
ACE
2004
200views Education» more  ACE 2004»
15 years 5 months ago
Making Large Class Teaching More Adaptive With the Logic-ITA
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...
Kalina Yacef
124
Voted
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke