2139 search results - page 66 / 428 » Connecting language to the world |
157
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
119
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
147
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
141
click to vote
ZEUS
2010
15 years 7 months ago
2010
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...