2576 search results - page 200 / 516 » Methodology work is ontology work |
168
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
191
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
Statistical user simulation is a promising methodology to train and evaluate the performance of (spoken) dialog systems. We work with a modular architecture for data-driven simula...
207
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
The linked-list data structure is fundamental and ubiquitous. Lockfree versions of the linked-list are well known. However, the existence of a practical wait-free linked-list has ...
173
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Biodiversity informatics (BDI) information is both highly localized and highly distributed. The temporal and spatial contexts of data collection events are generally of primary imp...
199
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The heterogeneity problem (in terms of different types of access devices, network bandwidth, preferences/characteristics of the user, etc.) has become a major problem for the Inter...