1226 search results - page 128 / 246 » Generating Abstractions from Static Domain Analysis |
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Semantic Browsing provides contextualized dynamically generated Web content customizing the knowledge to better meet user expectations. The real-world medical digital library, the ...
ICCAD
1996
IEEE
14 years 10 days ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
ACSC
2004
IEEE
13 years 12 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
ICIDS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
ICONIP
2007
13 years 9 months ago
2007
Abstract. An effective way to examine causality is to conduct an experiment with random assignment. However, in many cases it is impossible or too expensive to perform controlled ...