6016 search results - page 1009 / 1204 » The semantics of graphical languages |
191
click to vote
HASKELL
2006
ACM
16 years 18 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
192
Voted
MOBIDE
2006
ACM
16 years 17 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
177
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
182
click to vote
ICFP
2005
ACM
16 years 5 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
150
Voted
SIGIR
2005
ACM
16 years 5 days ago
2005
ACM
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...