1931 search results - page 204 / 387 » Why we blog |
129
click to vote
APAL
2006
15 years 6 months ago
2006
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
211
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In recent years, spectral clustering has become one of the most popular modern clustering algorithms. It is simple to implement, can be solved efficiently by standard linear algeb...
170
click to vote
JVCIR
2006
15 years 6 months ago
2006
The consideration of better motion compensation techniques for inter-frame prediction is one of the key reasons why the new H.264 (MPEG-4 AVC) video coding standard can achieve co...
154
click to vote
SQJ
2008
15 years 6 months ago
2008
There are many methods for estimating size, effort, schedule and other cost aspects of IS projects, but only one specifically developed for Enterprise Resource Planning (ERP) [67]...