2179 search results - page 344 / 436 » Symmetry within Solutions |
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
132
click to vote
CPM
1993
Springer
15 years 4 months ago
1993
Springer
It is widely accepted that the optimal alignment between a pair of proteins or nucleic acid sequences that minimizes the edit distance may not necessarily re
ect the correct biolog...
102
Voted
COMPGEOM
2007
ACM
15 years 4 months ago
2007
ACM
We consider the problem of placing a small number of angle guards inside a simple polygon P so as to provide efficient proofs that any given point is inside P. Each angle guard vi...
82
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
In our previous work, we proposed a distributed server architecture to deliver multi-party immersive voice communication service to mobile clients (e.g. Sony PSP) accessing a Distr...
123
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...