789 search results - page 74 / 158 » Pushing using Compliance |
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
128
click to vote
DATAMINE
2010
15 years 1 months ago
2010
In this article we show that there is a strong connection between decision tree learning and local pattern mining. This connection allows us to solve the computationally hard probl...
171
click to vote
COMCOM
2007
15 years 1 months ago
2007
With the increasing popularity of wireless networks and mobile computing, data broadcasting has emerged as an efficient way of delivering data to mobile clients having a high degr...
ITIIS
2008
15 years 1 months ago
2008
Traditional web-based services that require users to browse via documents and fill out forms, are difficult to use with mobile devices. Moreover, as the web paradigm assumes activ...
116
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— We proposed a new search heuristic using the scuba diving metaphor. This approach is based on the concept of evolvability and tends to exploit neutrality in fitness landscape....