Sciweavers

351 search results - page 15 / 71
» Logics Capturing Local Properties
Sort
View
AOSE
2005
Springer
15 years 5 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
ICALP
2005
Springer
15 years 5 months ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin
CORR
2006
Springer
95views Education» more  CORR 2006»
14 years 11 months ago
Naming Games in Spatially-Embedded Random Networks
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
SIGMOD
2003
ACM
142views Database» more  SIGMOD 2003»
15 years 12 months ago
Winnowing: Local Algorithms for Document Fingerprinting
Digital content is for copying: quotation, revision, plagiarism, and file sharing all create copies. Document fingerprinting is concerned with accurately identifying copying, incl...
Saul Schleimer, Daniel Shawcross Wilkerson, Alexan...
CBMS
2007
IEEE
15 years 1 months ago
From Local Laboratory Data to Public Domain Database in Search of Indirect Association of Diseases: AJAX Based Gene Data Search
This paper presents an extensible schema for capturing laboratory gene variance data with its meta-data properties in a semi-structured environment. This paper also focuses on the...
Nawaz Khan, Ham Long, Shahedur Rahman, Tony Stockm...