7167 search results - page 1065 / 1434 » Answer Set Programming |
119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
A pants decomposition of an orientable surface is a collection of simple cycles that partition into pants, i.e., surfaces of genus zero with three boundary cycles. Given a set P...
126
Voted
ENTCS
2006
15 years 3 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
120
click to vote
IJIM
2008
15 years 3 months ago
2008
: As mobile devices, such as PDAs, iPods, and mobile phones become more common, corporations are turning to mobile learning to improve employee performance. Today's m-learning...
125
Voted
IJISEC
2008
15 years 3 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
107
click to vote
FSS
2006
15 years 3 months ago
2006
Since Tanaka et al. in 1982 proposed a study in linear regression with a fuzzy model, fuzzy regression analysis has been widely studied and applied in various areas. However, Tana...