4460 search results - page 596 / 892 » Formal methods for interactive systems |
177
click to vote
SAGA
2005
Springer
16 years 3 days ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
191
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
195
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
195
click to vote
SDM
2003
SIAM
15 years 8 months ago
2003
SIAM
The singular value decomposition (SVD) is fundamental to many data modeling/mining algorithms, but SVD algorithms typically have quadratic complexity and require random access to ...
325
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Search engine technology plays an important role in Web information retrieval. However, with Internet information explosion, traditional searching techniques cannot provide satisfa...