3394 search results - page 447 / 679 » Regular Object Types |
175
click to vote
ER
2007
Springer
16 years 21 days ago
2007
Springer
There are a number of issues for information systems which are required to collect data urgently that are not well accommodated by current conceptual modelling methodologies and a...
138
click to vote
IWANN
2007
Springer
16 years 20 days ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
185
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
176
click to vote
RTA
2005
Springer
16 years 9 hour ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
183
click to vote
TBILLC
2005
Springer
16 years 5 hour ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...