Sciweavers

2293 search results - page 186 / 459
» Temporal Logic in Information Systems
Sort
View
ACE
2004
200views Education» more  ACE 2004»
15 years 8 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
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 6 months ago
Integrating OPC Data into GSN Infrastructures
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
Olivier Passalacqua, Eric Benoit, Marc-Philippe Hu...
WWW
2009
ACM
16 years 7 months ago
SOFIE: a self-organizing framework for information extraction
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
Fabian M. Suchanek, Mauro Sozio, Gerhard Weikum
ICDAR
2009
IEEE
16 years 1 months ago
Arabic Handwriting Recognition Using Restored Stroke Chronology
In this paper we present a system of the off-line handwriting recognition. Our recognition system is based on temporal order restoration of the off-line trajectory. For this task ...
Abdelkarim Elbaati, Houcine Boubaker, Monji Kheral...
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
16 years 1 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner