4708 search results - page 599 / 942 » Generating the Structure of Argument |
154
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
214
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
212
click to vote
IFIP12
2010
15 years 4 months ago
2010
Every day the global media system produces an abundance of news stories, all containing many references to people. An important task is to automatically generate reliable lists of ...
221
click to vote
IPAW
2010
15 years 4 months ago
2010
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...
183
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...