1073 search results - page 108 / 215 » Reasoning about Continuous Processes |
154
Voted
JODS
2007
15 years 2 months ago
2007
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
109
Voted
EMNLP
2010
15 years 18 days ago
2010
The rapid growth of geotagged social media raises new computational possibilities for investigating geographic linguistic variation. In this paper, we present a multi-level genera...
165
Voted
FORTE
2009
15 years 12 days ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
130
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a new acoustic-to-articulatory inversion methodbased on an episodic memory, which is an interesting model for two reasons. First, it does not rely on any assum...
110
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...