5863 search results - page 1070 / 1173 » On Model-Checking of P Systems |
139
click to vote
TOG
2002
15 years 3 months ago
2002
Placing shadows is difficult task since shadows depend on the relative positions of lights and objects in an unintuitive manner. To simplify the task of the modeler, we present a ...
121
Voted
TSMC
2002
15 years 3 months ago
2002
Automata models of learning systems introduced in the 1960s were popularized as learning automata (LA) in a survey paper in 1974 [1]. Since then, there have been many fundamental a...
137
click to vote
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
122
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
----------------------------------------------ABSTRACT-------------------------------------------In the faceless world of the Internet, online fraud is one of the greatest reasons ...
140
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
This paper introduces an algorithm that estimates the speed of a mobile phone by matching time-series signal strength data to a known signal strength trace from the same road. Kno...