Sciweavers

499 search results - page 43 / 100
» Raising Programming Abstraction from Objects to Services
Sort
View
TCSV
2008
291views more  TCSV 2008»
15 years 4 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
148
Voted
WSC
2000
15 years 6 months ago
Using simulation to evaluate cargo ship design on the LPD17 program
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
Joseph Hugan
168
Voted
DALT
2006
Springer
15 years 8 months ago
JADL - An Agent Description Language for Smart Agents
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak
158
Voted
TPHOL
2005
IEEE
15 years 10 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
132
Voted
ERCIMDL
2009
Springer
198views Education» more  ERCIMDL 2009»
15 years 11 months ago
Adding Quality-Awareness to Evaluate Migration Web-Services and Remote Emulation for Digital Preservation
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
Christoph Becker, Hannes Kulovits, Michael Kraxner...