14709 search results - page 2585 / 2942 » Semantic feature modelling |
222
click to vote
ILP
2005
Springer
16 years 1 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
214
click to vote
TBILLC
2005
Springer
16 years 1 months ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...
206
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
209
click to vote
HOTOS
2003
IEEE
16 years 27 days ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
240
click to vote
IPPS
2003
IEEE
16 years 26 days ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...