2377 search results - page 438 / 476 » Hybrid Systems in TLA |
123
Voted
JOLLI
2008
15 years 15 days 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...
JCP
2006
2006
Reliable Partial Replication of Contents in Web Clusters: Getting Storage without losing Reliability
15 years 15 days 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...
102
click to vote
JSW
2006
15 years 14 days 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...
96
Voted
JUCS
2006
15 years 14 days 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...
ANOR
2005
15 years 13 days 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...