234 search results - page 14 / 47 » Examples of Termination |
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
IRI
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
MOBIQUITOUS
2007
IEEE
15 years 6 months ago
2007
IEEE
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
We propose to introduce redundant interconnects for manufacturing yield and reliability improvement. By introducing redundant interconnects, the potential for open faults is reduc...