2377 search results - page 438 / 476 » Hybrid Systems in TLA |
184
click to vote
JOLLI
2008
15 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
157
click to vote
JCP
2006
2006
Reliable Partial Replication of Contents in Web Clusters: Getting Storage without losing Reliability
15 years 6 months ago
Traditionally, distributed Web servers have used two strategies for allocating files on server nodes: full replication and full distribution. While full replication provides a high...
152
click to vote
JSW
2006
15 years 6 months ago
2006
Abstract-- Solving complex real-world problems using evolutionary computation is a CPU time-consuming task that requires a large amount of computational resources. Peerto-Peer (P2P...
157
click to vote
JUCS
2006
15 years 6 months ago
2006
: Fingerprint image enhancement is a common and critical step in fingerprint recognition systems. To enhance the images, most of the existing enhancement algorithms use filtering t...
123
click to vote
ANOR
2005
15 years 6 months ago
2005
The pilot method as a meta-heuristic is a tempered greedy method aimed at obtaining better solutions while avoiding the greedy trap by looking ahead for each possible choice. Repea...