Sciweavers

4385 search results - page 422 / 877
» Abstraction for Concurrent Objects
Sort
View
CLASSIFICATION
2010
15 years 4 months ago
A Formal Proof of a Paradox Associated with Cohen's Kappa
Abstract: Suppose two judges each classify a group of objects into one of several nominal categories. It has been observed in the literature that, for fixed observed agreement betw...
Matthijs J. Warrens
COGSR
2010
116views more  COGSR 2010»
15 years 1 months ago
On the cognitive process of human problem solving
act 11 One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts many other cognitive processes such as ab...
Yingxu Wang, Vincent Chiew
FPL
2011
Springer
203views Hardware» more  FPL 2011»
14 years 6 months ago
Accelerating Fluid Registration Algorithm on Multi-FPGA Platforms
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...
Jason Cong, Muhuan Huang, Yi Zou
ASPLOS
2004
ACM
16 years 8 days ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
ICFP
2009
ACM
16 years 7 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak