5205 search results - page 336 / 1041 » Tilings and model theory |
95
Voted
ICFP
2004
ACM
16 years 23 days ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
107
click to vote
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
107
click to vote
DAWAK
2001
Springer
15 years 5 months ago
2001
Springer
Data mining has been defined as the non- trivial extraction of implicit, previously unknown and potentially useful information from data. Association mining is one of the important...
132
Voted
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
89
Voted
AO
2007
15 years 28 days ago
2007
One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building to...