Sciweavers

1164 search results - page 143 / 233
» Using CBR for Semantic Analysis of Software Specifications
Sort
View
TCS
2002
13 years 9 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
CSCW
1992
ACM
14 years 2 months ago
A Collaborative Medium for the Support of Conversational Props
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
Tom Brinck, Louis M. Gomez
ER
2004
Springer
167views Database» more  ER 2004»
14 years 3 months ago
A CASE Tool for Geographic Database Design Supporting Analysis Patterns
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
Jugurta Lisboa Filho, Victor de Freitas Sodr&eacut...
ISSTA
2000
ACM
14 years 1 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
GIS
2010
ACM
13 years 5 months ago
Modelling spatial video as part of a GIS video analysis framework
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
Paul Lewis