1614 search results - page 105 / 323 » Learning Rules and Their Exceptions |
171
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
149
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
202
click to vote
BTW
2007
Springer
16 years 17 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
171
click to vote
ISORC
2006
IEEE
16 years 12 days ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
118
click to vote
WMRD
1992
15 years 10 months ago
1992
Ficus is a exible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Support for partitioned operation is f...