665 search results - page 92 / 133 » A proposal for an owl rules language |
149
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
169
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
180
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
Much work on XML data was around storage and querying and did not consider constraints of XML, especially keys. Since constraints have been proposed in many papers for XML, much r...
166
click to vote
LREC
2008
15 years 7 months ago
2008
In many applications of natural language processing (NLP) grammatically tagged corpora are needed. Thus Part of Speech (POS) Tagging is of high importance in the domain of NLP. Ma...
179
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...