Sciweavers

2346 search results - page 298 / 470
» Hierarchical State Machines
Sort
View
ICLP
2004
Springer
15 years 12 months ago
On Programs with Linearly Ordered Multiple Preferences
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
SEMWEB
2004
Springer
15 years 12 months ago
Information Gathering During Planning for Web Service Composition
Abstract. Hierarchical Task-Network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service on...
Ugur Kuter, Evren Sirin, Dana S. Nau, Bijan Parsia...
ISCA
2000
IEEE
134views Hardware» more  ISCA 2000»
15 years 11 months ago
Architectural support for scalable speculative parallelization in shared-memory multiprocessors
Speculative parallelization aggressively executes in parallel codes that cannot be fully parallelized by the compiler. Past proposals of hardware schemes have mostly focused on si...
Marcelo H. Cintra, José F. Martínez,...
ERCIMDL
1999
Springer
121views Education» more  ERCIMDL 1999»
15 years 10 months ago
An Indexing, Browsing, Search and Retrieval System for Audiovisual Libraries
This paper describes an application which enables the computer-assisted generation of Dublin Core-based metadata descriptions and online digital visual summaries for videos. It is...
Jane Hunter, Jan Newmarch
ICSE
1999
IEEE-ACM
15 years 10 months ago
Information Survivability Control Systems
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
Kevin J. Sullivan, John C. Knight, Xing Du, Steve ...