4328 search results - page 476 / 866 » A New Kind of Science |
177
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Successful software engineering requires experience and acknowledgment of complexity, including that which leads designers to recognize ambiguity within the software design descri...
181
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Energy efficiency and collisions avoidance are both critical properties to increase the lifetime and effectiveness of wireless networks. This paper proposes a family of algorithms...
211
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Identifying information-rich subsets in high-dimensional spaces and representing them as order revealing patterns (or trends) is an important and challenging research problem in m...
146
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...
180
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...