22698 search results - page 3996 / 4540 » Modeling in Software Engineering |
199
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
159
click to vote
ICCD
2007
IEEE
16 years 4 months ago
2007
IEEE
Physical layout generation of RF embedded passive design is not an easy task since the response of a given layout is tightly coupled with the response of the individual components...
256
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Huge amounts of search and browse log data has been accumulated in various search engines. Such massive search/browse log data, on the one hand, provides great opportunities to mi...
297
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Social network information is now being used in ways for which it may have not been originally intended. In particular, increased use of smartphones capable of running applicati...
172
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of multi-objective problems in engineering design and scientific investigation. This paper inves...