245 search results - page 43 / 49 » Class Algebra as a Description Logic |
103
Voted
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
106
Voted
ENTCS
2006
15 years 13 days ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
90
Voted
ACS
2007
15 years 17 days ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
84
Voted
EOR
2006
15 years 13 days ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
CORR
2004
Springer
15 years 8 days ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...