Sciweavers

4250 search results - page 129 / 850
» Interactive technologies for autism
Sort
View
SEMWEB
2007
Springer
15 years 10 months ago
Ontology Mapping: An Information Retrieval and Interactive Activation Network Based Approach
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper pr...
Ming Mao
APWEB
2003
Springer
15 years 9 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...
MKM
2009
Springer
15 years 9 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase
OOIS
2001
Springer
15 years 9 months ago
Reconciliation of Object Interaction Models
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
George Spanoudakis, Hyoseob Kim
CAV
2011
Springer
207views Hardware» more  CAV 2011»
14 years 8 months ago
Interactive Synthesis of Code Snippets
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac