Sciweavers

587 search results - page 102 / 118
» Mathematical Analysis of Multi-Agent Systems
Sort
View
DEXAW
2000
IEEE
76views Database» more  DEXAW 2000»
13 years 12 months ago
A Semantical Twist to Syntactical Navigation
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
F. Grootjen
FMCAD
2004
Springer
13 years 11 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
ESANN
2001
13 years 8 months ago
Applications of neuro-fuzzy classification, evaluation and forecasting techniques in agriculture
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
Elena Bellei, Diego Guidotti, Ruggero Petacchi, Le...
JCP
2006
110views more  JCP 2006»
13 years 7 months ago
Gateway Selection Review in Ad hoc Networks
The nature of wireless mobile ad hoc networks depend on batteries or other fatiguing means for their energy. A limited energy capacity may be the most significant performance const...
Tarek Sheltami
JUCS
2008
134views more  JUCS 2008»
13 years 7 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer