Sciweavers

3384 search results - page 264 / 677
» More Testable Properties
Sort
View
CATA
2006
15 years 8 months ago
Discrete Shells Origami
We introduce a way of simulating the creation of simple Origami (paper folding). The Origami is created in a thin shell simulation that realistically models the behavior and physi...
Rob Burgoon, Zoë J. Wood, Eitan Grinspun
CSREAESA
2004
15 years 8 months ago
Experimental Analysis of Batteries Under Continuous and Intermittent Operations
Battery lifetime extension is a primary design objective for portable systems. This paper investigates how non-ideal properties of a battery impacts its lifespan. More specificall...
S. Castillo, Naveen K. Samala, K. Manwaring, Babac...
COMMA
2006
15 years 8 months ago
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
Søren Holbech Nielsen, Simon Parsons
DLOG
2004
15 years 8 months ago
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
Ronald Cornet, Ameen Abu-Hanna
DAGSTUHL
2006
15 years 8 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel