539 search results - page 57 / 108 » Symmetric Argumentation Frameworks |
SIAMJO
2011
14 years 4 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images (DTI). DTI can be estimated from a set of diffusion weighted images and...
ICCSA
2007
Springer
15 years 3 months ago
2007
Springer
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
123
click to vote
COLCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...