1567 search results - page 269 / 314 » A Mechanized Model of the Theory of Objects |
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Recommendation systems are widely used on the Internet to assist customers in finding the products or services that best fit with their individual preferences. While current imple...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
COMPGEOM
2004
ACM
15 years 5 months ago
2004
ACM
We prove that the lines tangent to four possibly intersecting convex polyhedra in 3 with n edges in total form Θ(n2 ) connected components in the worst case. In the generic ca...
102
click to vote
MMMACNS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...