Sciweavers

8582 search results - page 54 / 1717
» Here or There
Sort
View
SFP
2003
15 years 1 months ago
FSM-Hume is finite state
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
Greg Michaelson, Kevin Hammond, Jocelyn Sér...
ACL
2000
15 years 1 months ago
A Polynomial-Time Fragment of Dominance Constraints
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
AVI
2000
15 years 1 months ago
Instructions and Descriptions: some cognitive aspects of programming and similar activities
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
Thomas Green
TREC
2003
15 years 1 months ago
ITC-irst at TREC 2003: the DIOGENE QA System
This paper describes a new version of the DIOGENE Question Answering (QA) system developed at ITC-Irst. The recent updates here presented are targeted to the participation to TREC...
Milen Kouylekov, Bernardo Magnini, Matteo Negri, H...
ECIS
2000
15 years 1 months ago
A Proposed Methodology for Web Development
The aim of this paper is to examine the domain of World Wide Web site development and propose a methodology to assist with this process. Methodologies have both their proselytizers...
Debra Howcroft, John A. Carroll