7189 search results - page 530 / 1438 » Connecting Design with Code |
222
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
The diversity of end-terminal and access network capabilities as well as the dynamic nature of wireless connections pose significant challenges to providers of multimedia streamin...
273
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
219
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
We derive algorithms for finding a nonnegative n-dimensional tensor factorization (n-NTF) which includes the non-negative matrix factorization (NMF) as a particular case when n = ...
325
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
194
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...