2748 search results - page 103 / 550 » Generating Object-Z Specifications from Use Cases |
FOIS
2006
13 years 11 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
In a previous paper, we developed a robotic finger equipped with optical three-axis tactile sensors, of which the sensing cell can separately detect normal and shearing forces. Wit...
APSEC
1996
IEEE
14 years 2 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...
IJMDEM
2010
13 years 7 months ago
2010
For large archives of audio media, just as with text archives, indexing is important for allowing quick and accurate searches. Similar to text archives, audio archives can use tex...