Sciweavers

2777 search results - page 329 / 556
» Example centric programming
Sort
View
ACL
1997
15 years 4 months ago
Representing Constraints with Automata
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
Frank Morawietz, Tom Cornell
ROOM
2000
15 years 4 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
WSCG
2000
134views more  WSCG 2000»
15 years 4 months ago
Development of JAVA User Interface for Digital Television
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
Chengyuan Peng, Petri Vuorimaa
AAAI
1994
15 years 4 months ago
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
Steven Minton, Ian Underwood
AIPS
1996
15 years 4 months ago
Building a Planner for Information Gathering: A Report from the Trenches
Informationgathering requires locating and integrating data froma set of distributed informationsources. These sources maycontain overlapping data and can comefrom different types...
Craig A. Knoblock