87 search results - page 8 / 18 » Elements of Argumentation |
82
Voted
DAM
2007
14 years 11 months ago
2007
Covering numbers of precompact symmetric convex subsets of Hilbert spaces are investigated. Lower bounds are derived for sets containing orthogonal subsets with norms of their ele...
SIAMNUM
2010
14 years 5 months ago
2010
The method of enhanced assumed strains (EAS) is a popular tool for avoiding locking phenomena, e.g., a remedy for shear locking in plane elasticity. We consider bending-dominated p...
ICNS
2009
IEEE
15 years 5 months ago
2009
IEEE
Some initiatives towards Future Internet, e.g., GENI, DARPA’s Active Networks, argue the need for programmability of the network components. Some other initiatives extend this w...
CSL
2008
Springer
15 years 23 days ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
ICCBR
2005
Springer
15 years 4 months ago
2005
Springer
This paper explores a method to algorithmically distinguish case-specific facts from potentially reusable or adaptable elements of cases in a textual case-based reasoning (TCBR) sy...