Sciweavers

11797 search results - page 184 / 2360
» Recent Developments in the Experimental
Sort
View
DLOG
2007
15 years 8 months ago
Optimizing Tableau Reasoning in ALC Extended with Uncertainty
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
ASPDAC
2008
ACM
200views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Non-Gaussian statistical timing analysis using second-order polynomial fitting
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
Lerong Cheng, Jinjun Xiong, Lei He
CIBB
2008
15 years 8 months ago
Mining Association Rule Bases from Integrated Genomic Data and Annotations
During the last decade, several clustering and association rule mining techniques have been applied to highlight groups of coregulated genes in gene expression data. Nowadays, inte...
Ricardo Martínez, Nicolas Pasquier, Claude ...
DOCENG
2005
ACM
15 years 8 months ago
Towards active web clients
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
Vincent Quint, Irène Vatton
DOCENG
2007
ACM
15 years 8 months ago
Editing with style
HTML has popularized the use of style sheets, and the advent of XML has stressed the importance of style as a key area complementing document structure and content. A number of to...
Vincent Quint, Irène Vatton