1982 search results - page 324 / 397 » Parametricity and dependent types |
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
SMC
2010
IEEE
14 years 7 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
111
click to vote
CIARP
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
CIKM
2009
Springer
14 years 7 months ago
2009
Springer
Traditional models of information retrieval assume documents are independently relevant. But when the goal is retrieving diverse or novel information about a topic, retrieval mode...