1428 search results - page 151 / 286 » aims 2010 |
139
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
145
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
115
click to vote
COCOON
2010
Springer
15 years 9 months ago
2010
Springer
We are given a trajectory T and an area A. T might intersect A several times, and our aim is to detect whether T visits A with some regularity, e.g. what is the longest time span t...
109
click to vote
CPM
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We address in this paper a new computational biology problem that aims at understanding a mechanism that could potentially be used to genetically manipulate natural insec...
149
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...