Sciweavers

4126 search results - page 463 / 826
» Set based logic programming
Sort
View
ACSD
2006
IEEE
80views Hardware» more  ACSD 2006»
15 years 10 months ago
Schedulability Analysis of Petri Nets Based on Structural Properties
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
WMTE
2005
IEEE
15 years 9 months ago
Quilt Snaps: A Fabric Based Computational Construction Kit
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
Leah Buechley, Nwanua Elumeze, Camille Dodson, Mic...
WECWIS
2009
IEEE
162views ECommerce» more  WECWIS 2009»
15 years 10 months ago
QoS-Driven Web Service Composition Using Learning-Based Depth First Search
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
Wonhong Nam, Hyunyoung Kil, Jungjae Lee
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Detecting Musical Sounds in Broadcast Audio Based on Pitch Tuning Analysis
Detecting the presence of musical sounds in broadcast audio is important for content-based indexing and retrieval of auditory and visual information in radio and TV programs. In t...
Yongwei Zhu, Qibin Sun, Susanto Rahardja
CP
2000
Springer
15 years 8 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth