Sciweavers

8099 search results - page 716 / 1620
» Higher-Order Task Models
Sort
View
CP
2005
Springer
16 years 1 months ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták
EPIA
2005
Springer
16 years 29 days ago
Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation
Abstract. In this paper we discuss the use of Case Retrieval Nets, a particular memory model for implementing case-base reasoning solutions, for implementing a heuristic lexicalisa...
Raquel Hervás, Pablo Gervás
ISMIR
2003
Springer
110views Music» more  ISMIR 2003»
16 years 19 days ago
The dangers of parsimony in query-by-humming applications
Query-by-humming systems attempt to address the needs of the non-expert user, for whom the most natural query format – for the purposes of finding a tune, hook or melody of unk...
Colin Meek, William P. Birmingham
IWACA
1994
126views Multimedia» more  IWACA 1994»
15 years 11 months ago
An Object-Oriented Implementation of the Xpress Transfer Protocol
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
W. Timothy Strayer, Simon Gray, Raymond E. Cline J...
ICIW
2007
IEEE
15 years 11 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido