Sciweavers

12697 search results - page 303 / 2540
» Call for Papers
Sort
View
SAIG
2000
Springer
15 years 10 months ago
Multi-Stage Imperative Languages: A Conservative Extension Result
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
Cristiano Calcagno, Eugenio Moggi
ICDAR
1995
IEEE
15 years 10 months ago
A knowledge-based approach to the layout analysis
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...
Floriana Esposito, Donato Malerba, Giovanni Semera...
ICRA
1995
IEEE
86views Robotics» more  ICRA 1995»
15 years 10 months ago
OARS: An Object-Oriented Architecture for Reactive Systems
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
Bernard T. Barcio, Srini Ramaswamy, K. Suzanne Bar...
KDD
1995
ACM
86views Data Mining» more  KDD 1995»
15 years 10 months ago
Knowledge Discovery from Multiple Databases
Knowledge discovery systemsfor databasesareemployedto provide valuable insights into characteristics and relationshipsthat may exist in the data,but are unknown to the user. This ...
James S. Ribeiro, Kenneth A. Kaufman, Larry Kersch...
AIIDE
2008
15 years 9 months ago
Explicit Knowledge Programming for Computer Games
The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else's knowledge) as an issue for computer game AI. We argue that a number ...
Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerl...