1864 search results - page 158 / 373 » Formal topology and domains |
279
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
158
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
161
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
139
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
149
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we investigate how consistency can be ensured for replicated continuous interactive media, i.e., replicated media which change their state in reaction to user initia...