809 search results - page 125 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Mobile entity navigation in dynamic environments is an essential part of many mission critical applications like search and rescue and fire fighting. The dynamism of the ...
WCNC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—The development of modern communication technologies fosters human networks (HUNETs)—an information dissemination platform comprised of human-carried wirelessenabled d...
101
click to vote
SDM
2007
SIAM
15 years 1 months ago
2007
SIAM
With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. One important application with such data is aut...
ISMB
2000
15 years 1 months ago
2000
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
102
click to vote
FORTE
2010
15 years 1 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...