3557 search results - page 288 / 712 » Authoring Presentation for OpenMath |
144
click to vote
IWCIA
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Several authors have proposed algorithms for curve partitioning using the arc-chord distance formulation, where a chord whose associated arc spans k pixels is moved along...
149
click to vote
MKM
2004
Springer
16 years 8 hour ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
163
click to vote
OTM
2004
Springer
16 years 6 hour ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
163
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
192
click to vote
ECRTS
2003
IEEE
15 years 12 months ago
2003
IEEE
Utilization bounds for schedulability of aperiodic tasks are new in real-time scheduling literature. All aperiodic bounds known to date apply only to independent tasks. They eithe...