1322 search results - page 143 / 265 » Efficient Goal-Directed Exploration |
249
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
147
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is fi...
140
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
132
Voted
DCC
2003
IEEE
16 years 3 months ago
2003
IEEE
3D models have become an essential element of multimedia applications because they provide visual effects that permit interactive exploration. As in other media types, efficient c...
120
Voted
ICCAD
2003
IEEE
16 years 17 days ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...