Sciweavers

1199 search results - page 188 / 240
» Automated Extraction of Problem Structure
Sort
View
ISBI
2009
IEEE
14 years 5 months ago
Energy Minimization Methods for Cell Motion Correction and Intracellular Analysis in Live-Cell Fluorescence Microscopy
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
Oleh Dzyubachyk, Wiggert A. van Cappellen, Jeroen ...
CSE
2009
IEEE
14 years 5 months ago
Collaborative Mining in Multiple Social Networks Data for Criminal Group Discovery
—The hidden knowledge in social networks data can be regarded as an important resource for criminal investigations which can help finding the structure and organization of a crim...
Amin Milani Fard, Martin Ester
AIED
2009
Springer
14 years 5 months ago
Discovering Tutorial Dialogue Strategies with Hidden Markov Models
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
Kristy Elizabeth Boyer, Eunyoung Ha, Michael D. Wa...
RWEB
2009
Springer
14 years 5 months ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader
LICS
2008
IEEE
14 years 5 months ago
Winning Regions of Higher-Order Pushdown Games
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H...