Sciweavers

941 search results - page 112 / 189
» Mathematics on the (Semantic) NET
Sort
View
IJSM
2007
86views more  IJSM 2007»
15 years 16 days ago
Keypics: Free-Hand Drawn Iconic Keywords
— We propose an iconic indexing of images to be exposed on the Web. This should be accomplished by “Keypics”, i.e. auxiliary, simplified pictures referring to the geometrica...
Andrea Cerri, Massimo Ferri, Patrizio Frosini, Dan...
76
Voted
MLQ
2002
77views more  MLQ 2002»
15 years 8 days ago
Algebraization of the Three-valued BCK-logic
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
Francisco M. García Olmedo, Antonio J. Rodr...
102
Voted
BROADNETS
2007
IEEE
15 years 7 months ago
Computer worm ecology in encounter-based networks
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
Sapon Tanachaiwiwat, Ahmed Helmy
ANSS
2005
IEEE
15 years 6 months ago
Approximation of Discrete Phase-Type Distributions
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
Claudia Isensee, Graham Horton
117
Voted
FCS
2006
15 years 2 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin