Sciweavers

1054 search results - page 46 / 211
» group 2005
Sort
View
ICDAR
2007
IEEE
15 years 1 months ago
Arabic Handwriting Recognition Competition
This paper describes the Arabic handwriting recognition competition held at ICDAR 2009. This third competition (the first was at ICDAR 2005 and the second at ICDAR 2007) again use...
Volker Märgner, Haikal El Abed
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
14 years 11 months ago
A clustering technique to optimize hardware/software synchronization
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...
Junyu Peng, Samar Abdi, Daniel Gajski
LPAR
2005
Springer
15 years 3 months ago
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
Robert Nieuwenhuis, Albert Oliveras
GROUP
2005
ACM
15 years 3 months ago
Uncovering privacy attitudes and practices in instant messaging
We present an analysis of privacy attitudes and practices in Instant Messaging based on responses to an online questionnaire. On a 7point Likert scale, the reported concern about ...
Sameer Patil, Alfred Kobsa
MKM
2005
Springer
15 years 3 months ago
Toward an Object-Oriented Structure for Mathematical Text
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells