549 search results - page 89 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
125
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
WWW
2004
ACM
16 years 11 days ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Position-based routing protocols use location information to refine the traditional packet flooding method in mobile ad hoc networks. They mainly focus on densely and ...
109
Voted
WSC
1997
15 years 1 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
128
click to vote
ESWA
2006
14 years 11 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...