2748 search results - page 298 / 550 » Generating Object-Z Specifications from Use Cases |
155
click to vote
AAAI
2006
15 years 5 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
142
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
138
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Speaker recognition using support vector machines (SVMs) with features derived from generative models has been shown to perform well. Typically, a universal background model (UBM)...
146
click to vote
ICCBR
1995
Springer
15 years 7 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Cooperation between rational users in wireless networks is studied using coalitional game theory. Using the rate achieved by a user as its utility, it is shown that the stable coal...