1187 search results - page 231 / 238 » The Generalized Dimensionality Reduction Problem |
179
Voted
BIRTHDAY
2009
Springer
16 years 18 days ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...
205
Voted
HASKELL
2009
ACM
16 years 10 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
152
Voted
IPPS
2007
IEEE
16 years 3 days ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
171
Voted
KBSE
2007
IEEE
16 years 2 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
138
Voted
COCOON
2007
Springer
15 years 12 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...