1102 search results - page 119 / 221 » Interactive Refinement of a Knowledge Base |
252
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
134
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The large amount of high-throughput genomic data has facilitated the discovery of the regulatory relationships between transcription factors and their target genes. Wh...
223
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
152
click to vote
CGI
1998
IEEE
15 years 7 months ago
1998
IEEE
Many techniques have been developed for 3D object deformation. These techniques have been widely used in most CAD/CAM systems. Intuitive while efficient methods for interactive 3D...
125
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...