Sciweavers

153 search results - page 16 / 31
» Motivation for a New Semantics for Vagueness
Sort
View
ERCIMDL
1998
Springer
132views Education» more  ERCIMDL 1998»
14 years 2 days ago
An Analysis of Usage of a Digital Library
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
Steve Jones, Sally Jo Cunningham, Rodger J. McNab
ECIR
2003
Springer
13 years 9 months ago
Topic Detection and Tracking with Spatio-Temporal Evidence
Topic Detection and Tracking is an event-based information organization task where online news streams are monitored in order to spot new unreported events and link documents with ...
Juha Makkonen, Helena Ahonen-Myka, Marko Salmenkiv...
OMER
2001
13 years 9 months ago
Implementing Function Block Adapters
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Torsten Heverhagen, Rudolf Tracht
JFP
2006
91views more  JFP 2006»
13 years 7 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
ATAL
2007
Springer
14 years 2 months ago
Goals in the context of BDI plan failure and planning
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
Sebastian Sardiña, Lin Padgham