1626 search results - page 179 / 326 » Subtyping with Power Types |
127
click to vote
ICDE
1993
IEEE
15 years 9 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
134
Voted
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
134
click to vote
DEXA
1994
Springer
15 years 9 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
154
click to vote
SC
1994
ACM
15 years 9 months ago
1994
ACM
PARAMICS is a PARAllel MICroscopic Traffic Simulator which is, to our knowledge, the most powerful of its type in the world. The simulator can model around 200,000 vehicles on aro...
158
click to vote
EUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Activity recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware computing. Most approaches for activity recognition focus on...