4350 search results - page 163 / 870 » Case studies for contract-based systems |
127
click to vote
WCE
2007
15 years 5 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
133
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
156
click to vote
IJCAI
1997
15 years 5 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
127
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Evaluation of sentiment analysis, like large-scale IR evaluation, relies on the accuracy of human assessors to create judgments. Subjectivity in judgments is a problem for relevan...
142
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Business intelligence (BI) technology and research is maturing. In evidence, some practitioners have indicated a shift in the nature of their data warehousing challenges from bein...