Sciweavers

6343 search results - page 242 / 1269
» Development of a Cartographic Language
Sort
View
CSL
1999
Springer
15 years 10 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
DAGSTUHL
2007
15 years 8 months ago
Norms of Conversation in a Framework for Agent Communication Languages
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
Rodrigo Agerri
COLING
2000
15 years 7 months ago
Statistical Morphological Disambiguation for Agglutinative Languages
We present statistical models for morphological disambiguation in agglutinative languages, with a specific application to Turkish. Turkish presents an interesting problem for stati...
Dilek Z. Hakkani-Tür, Kemal Oflazer, Gök...
IJCAI
1997
15 years 7 months ago
Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing
We have been developing Name-It, a system that associates faces and names in news videos. First, as the only knowledge source, the system is given news videos which include image ...
Shin'ichi Satoh, Yuichi Nakamura, Takeo Kanade