3052 search results - page 546 / 611 » Engineers Don't Search |
STTT
2010
13 years 3 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
CORR
2011
Springer
13 years 25 days ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
CHB
2011
13 years 19 days ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
COMPUTE
2011
ACM
13 years 19 days ago
2011
ACM
In this paper, we have made an effort to propose approaches to find similar legal judgements by extending the popular techniques used in information retrieval and search engines...
DBSOCIAL
2011
13 years 17 days ago
2011
While search engines are the major sources of content discovery on online content providers and e-commerce sites, their capability is limited since textual descriptions cannot ful...