1226 search results - page 128 / 246 » Generating Abstractions from Static Domain Analysis |
137
Voted
ESWS
2008
Springer
15 years 5 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 ...
148
Voted
ICCAD
1996
IEEE
15 years 7 months 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...
122
Voted
ACSC
2004
IEEE
15 years 7 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...
146
Voted
ICIDS
2010
Springer
15 years 2 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...
166
Voted
ICONIP
2007
15 years 5 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 ...