13591 search results - page 2682 / 2719 » On the Implementation of Dynamic Evaluation |
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
BMCBI
2004
14 years 9 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
CGA
2004
14 years 9 months ago
2004
Haptic devices, such as the PHANTOM [1] (SensAble Technologies, Inc.) can be used to develop object interactions where various interaction states and state transitions are impleme...
126
click to vote
PAMI
2008
14 years 9 months ago
2008
In this paper, the duality in differential form is developed between a 3D primal surface and its dual manifold formed by the surface's tangent planes, i.e., each tangent plan...
CN
2002
14 years 9 months ago
2002
Differentiated Services (DiffServ) is a promising architecture for the next generation Internet due to its scalable and flexible design. In DiffServ, scheduling disciplines play an...