3557 search results - page 288 / 712 » Authoring Presentation for OpenMath |
162
click to vote
IWCIA
2004
Springer
16 years 20 days 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...
176
click to vote
MKM
2004
Springer
16 years 19 days 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...
179
click to vote
OTM
2004
Springer
16 years 19 days 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...
186
click to vote
APSEC
2003
IEEE
16 years 18 days 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...
208
click to vote
ECRTS
2003
IEEE
16 years 17 days 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...