Sciweavers

9818 search results - page 47 / 1964
» Much Support and More
Sort
View
ER
2000
Springer
126views Database» more  ER 2000»
15 years 9 months ago
Tool Support for Reuse of Analysis Patterns - A Case Study
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...
Petia Wohed
CADE
2004
Springer
16 years 6 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson
ICPR
2006
IEEE
16 years 7 months ago
Feature selection for linear support vector machines
Feature selection is attracted much interest from researchers in many fields such as pattern recognition and data mining. In this paper, a novel algorithm for feature selection is...
Zhizheng Liang, Tuo Zhao
CEEMAS
2005
Springer
15 years 11 months ago
A Complexity Based Feature to Support Emergence in MAS
Emergence is a widespread notion in complex systems, artificial life and multi-agent systems. In this paper, we try to clarify a specific emergence feature suggested by John Holl...
Joris Deguet, Yves Demazeau
HT
1997
ACM
15 years 10 months ago
Style Sheet Support for Hypermedia Documents
Hypermedia documents are most often created with a particular presentation environment in mind. This requires the authoring of one document per presentation platform. As pointed o...
Jacco van Ossenbruggen, Lynda Hardman, Lloyd Rutle...