27827 search results - page 311 / 5566 » Generating |
118
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
In daily life, people spend a lot of time in group activities, such as communication, debate, collaboration and consensus achieving for problem solving where creative ideas are exp...
132
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
127
Voted
SG
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
118
Voted
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
115
Voted
TMRA
2005
Springer
15 years 9 months ago
2005
Springer
Topic Maps are means for representing sophisticated, conceptual indexes of any information collection for the purpose of semantic information integration. To properly fulfil this p...