15754 search results - page 690 / 3151 » Programs are Knowledge Bases |
220
click to vote
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
228
click to vote
ICIW
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
191
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
178
click to vote
FSS
2002
15 years 7 months ago
2002
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...
162
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a worm simulator which can be run remotely through the web, based on the parameters supplied by the client. The core simulator program executes on the server and sim...