2702 search results - page 395 / 541 » Practically Applicable Formal Methods |
148
click to vote
GIS
1995
ACM
15 years 5 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
113
click to vote
WSC
2007
15 years 4 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
149
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
122
Voted
IJFCS
2006
15 years 2 months ago
2006
Abstract. Local similarity computation between two sequences permits detecting all the relevant alignments present between subsequences thereof. A well-known dynamic programming al...
130
Voted
IJSNET
2006
15 years 2 months ago
2006
: To extend the functional lifetime of battery-operated Wireless Sensor Networks (WSNs), stringent sleep scheduling strategies with communication duty cycles running at sub-1% rang...