Sciweavers

569 search results - page 6 / 114
» Intent Specifications: An Approach to Building Human-Centere...
Sort
View
AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 2 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
AAAI
2010
13 years 9 months ago
Prioritization of Domain-Specific Web Information Extraction
It is often desirable to extract structured information from raw web pages for better information browsing, query answering, and pattern mining. Many such Information Extraction (...
Jian Huang, Cong Yu
COMAD
2008
13 years 9 months ago
Querying for Information Integration: How to go from an Imprecise Intent to a Precise Query?
In this paper, we address the problem of query formulation in the context of multi-domain integration of heterogeneous data on the Web. We argue that effectively tackling this pro...
Aditya Telang, Sharma Chakravarthy, Chengkai Li
ECTEL
2008
Springer
13 years 9 months ago
A Goal-oriented Authoring Approach to Design, Share and Reuse Learning Scenarios
This paper presents our research works and our proposal : ISiS model (Intentions, Strategies, interactional Situations), a conceptual framework elaborated to structure the design o...
Valérie Emin
SIGSOFT
2005
ACM
14 years 8 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich