1286 search results - page 250 / 258 » From System F to Typed Assembly Language |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
ISSTA
2004
ACM
14 years 28 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
EKAW
2004
Springer
14 years 27 days ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
ICAIL
2003
ACM
14 years 23 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
IVS
2007
13 years 7 months ago
2007
At the first international Visualization Summit, more than 100 international researchers and practitioners defined and assessed nine original and important research goals in the c...