Sciweavers

827 search results - page 130 / 166
» Patterns for Timed Property Specifications
Sort
View
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 2 months ago
Discovery of Convoys in Trajectory Databases
As mobile devices with positioning capabilities continue to proliferate, data management for so-called trajectory databases that capture the historical movements of populations of...
Hoyoung Jeung, Man Lung Yiu, Xiaofang Zhou, Christ...
CN
2006
65views more  CN 2006»
15 years 2 months ago
Modeling web applications reacting to user behaviors
Many current research efforts address the problem of personalizing the Web experience for each user with respect to user's identity and/or context. In this paper we propose a...
Stefano Ceri, Florian Daniel, Federico Michele Fac...
COR
2006
94views more  COR 2006»
15 years 2 months ago
Computing obnoxious 1-corner polygonal chains
We consider an obnoxious facility location problem in which the facility is a trajectory consisting of a bounded length polygonal chain of two edges having extremes anchored at tw...
José Miguel Díaz-Báñez...
IJAR
2008
95views more  IJAR 2008»
15 years 1 months ago
Complexity results for enhanced qualitative probabilistic networks
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
Johan Kwisthout, Gerard Tel
ENTCS
2006
175views more  ENTCS 2006»
15 years 1 months ago
Observing Internet Worm and Virus Attacks with a Small Network Telescope
A network telescope is a portion of the IP address space which is devoted to observing inbound internet traffic. The purpose of a network telescope is to detect and log malicious ...
Uli Harder, Matt W. Johnson, Jeremy T. Bradley, Wi...