Sciweavers

3281 search results - page 383 / 657
» Bases for parametrized iterativity
Sort
View
EPIA
1989
Springer
15 years 10 months ago
Semantic Analysis of Time and Tense in Natural Language: An Implementation
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
Nelma Moreira
SIGMOD
1989
ACM
103views Database» more  SIGMOD 1989»
15 years 10 months ago
ODE (Object Database and Environment): The Language and the Data Model
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
Rakesh Agrawal, Narain H. Gehani
DAGM
2007
Springer
15 years 10 months ago
Efficient Image Segmentation Using Pairwise Pixel Similarities
Image segmentation based on pairwise pixel similarities has been a very active field of research in recent years. The drawbacks common to these segmentation methods are the enormou...
Christopher Rohkohl, Karin Engel
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
15 years 10 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
CHI
2008
ACM
15 years 8 months ago
Providing insight into group process
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...
Gahgene Gweon