Sciweavers

7839 search results - page 206 / 1568
» What's there and what's not
Sort
View
DATESO
2004
98views Database» more  DATESO 2004»
15 years 2 months ago
Finite State Automata and Image Recognition
In this paper we introduce finite automata as a tool for specification and compression of gray-scale image. We describe, what are interests points in pictures and idea if they can ...
Marian Mindek
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 1 months ago
Similarity Analysis and Modeling in Mobile Societies: The Missing Link
A new generation of "behavior-aware" delay tolerant networks is emerging in what may define future mobile social
Gautam S. Thakur, Ahmed Helmy, Wei-jen Hsu
JUCS
2007
95views more  JUCS 2007»
15 years 1 months ago
Formal Methods Guest Editorial
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
Richard Banach
ECCC
2011
206views ECommerce» more  ECCC 2011»
14 years 5 months ago
On the Degree of Univariate Polynomials Over the Integers
We study the following problem raised by von zur Gathen and Roche [GR97]: What is the minimal degree of a nonconstant polynomial f : {0, . . . , n} → {0, . . . , m}?
Gil Cohen, Amir Shpilka, Avishay Tal
ATAL
2011
Springer
14 years 1 months ago
Multi-criteria argument selection in persuasion dialogues
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
Thomas L. van der Weide, Frank Dignum, John-Jules ...