Sciweavers

6618 search results - page 1110 / 1324
» Natural Logic for Natural Language
Sort
View
CSCW
2006
ACM
16 years 19 days ago
Effects of machine translation on collaborative work
Even though multilingual communities that use machine translation to overcome language barriers are increasing, we still lack a complete understanding of how machine translation a...
Naomi Yamashita, Toru Ishida
SIGCOMM
2005
ACM
16 years 6 days ago
Declarative routing: extensible routing with declarative queries
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, ...
GPCE
2005
Springer
16 years 5 days ago
A Generative Programming Approach to Developing DSL Compilers
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
Charles Consel, Fabien Latry, Laurent Révei...
DBPL
1999
Springer
109views Database» more  DBPL 1999»
15 years 11 months ago
Expressing Topological Connectivity of Spatial Databases
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
Floris Geerts, Bart Kuijpers
POPL
1997
ACM
15 years 10 months ago
Shape Types
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
Pascal Fradet, Daniel Le Métayer
« Prev « First page 1110 / 1324 Last » Next »