11051 search results - page 2072 / 2211 » An Investigation of Generalized Cases |
218
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
207
click to vote
RAID
2007
Springer
16 years 1 months ago
2007
Springer
Spyware infections are becoming extremely pervasive, posing a grave threat to Internet users’ privacy. Control of such an epidemic is increasingly difficult for the existing def...
173
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
202
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
176
click to vote
TAMC
2007
Springer
16 years 1 months ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...