8009 search results - page 74 / 1602 » cans 2005 |
201
click to vote
CIB
2004
15 years 6 months ago
2004
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
174
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
135
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
136
click to vote
JSC
2006
15 years 6 months ago
2006
In this paper we give formulas for performing row reduction of a matrix of Ore polynomials in a fraction-free way. The reductions can be used for finding the rank and left nullspa...
139
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Despite the continuous production of genome sequence for a number of organisms, reliable, comprehensive, and cost effective gene prediction remains problematic. This i...