14709 search results - page 2585 / 2942 » Semantic feature modelling |
198
click to vote
ILP
2005
Springer
16 years 10 days 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...
198
Voted
TBILLC
2005
Springer
16 years 9 days 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...
177
click to vote
VSTTE
2005
Springer
16 years 9 days 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...
181
click to vote
HOTOS
2003
IEEE
16 years 3 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...
218
click to vote
IPPS
2003
IEEE
16 years 3 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...