1981 search results - page 379 / 397 » Model-Checking Hierarchical Structures |
97
Voted
ICDM
2003
IEEE
15 years 2 months ago
2003
IEEE
We propose the combination of two recently introduced methods for the interactive visual data mining of large collections of data. Both, Hyperbolic Multi-Dimensional Scaling (HMDS...
DOCENG
2003
ACM
15 years 2 months ago
2003
ACM
Product data exchange is the precondition of business interoperation between Web-based firms. However, millions of small and medium sized enterprises (SMEs) encode their Web produ...
100
Voted
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
CICLING
2003
Springer
15 years 2 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
67
Voted
AINA
2010
IEEE
15 years 2 months ago
2010
IEEE
—Packet classification problem has received much attention and continued to be an important topic in recent years. In packet classification problem, each incoming packet should b...