Sciweavers

2672 search results - page 419 / 535
» Hybridizing Concept Languages
Sort
View
ESOP
2000
Springer
14 years 17 days ago
Polyvariant Flow Analysis with Constrained Types
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
Scott F. Smith, Tiejun Wang
ICALP
1998
Springer
14 years 17 days ago
A Neuroidal Architecture for Cognitive Computation
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
Leslie G. Valiant
JAVA
2000
Springer
14 years 16 days ago
HBench: Java: an application-specific benchmarking framework for Java virtual machines
Java applications represent a broad class of programs, ranging from programs running on embedded products to highperformance server applications. Standard Java benchmarks ignore t...
Xiaolan Zhang, Margo I. Seltzer
PRICAI
2000
Springer
14 years 16 days ago
Towards a Next-Generation Search Engine
As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search...
Qiang Yang, Hai-Feng Wang, Ji-Rong Wen, Gao Zhang,...
COMGEO
2010
ACM
14 years 8 days ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann