Sciweavers

7890 search results - page 403 / 1578
» The MathSAT 3 System
Sort
View
CODES
2008
IEEE
15 years 8 months ago
A performance-oriented hardware/software partitioning for datapath applications
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
Laura Frigerio, Fabio Salice
FLAIRS
2004
15 years 8 months ago
Combining Methods for Word Sense Disambiguation of WordNet Glosses
This paper presents a new approach for combining different semantic disambiguation methods that are part of a Word Sense Disambiguation(WSD) system. The way these methods are comb...
Adrian Novischi
DMCS
2003
15 years 8 months ago
A symbolic projection of Langton's Ant
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
Anahí Gajardo
WSC
2000
15 years 8 months ago
Optimizing earthmoving operations using object-oriented simulation
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
Mohamed Marzouk, Osama Moselhi
189
Voted
3DPVT
2002
IEEE
137views Visualization» more  3DPVT 2002»
15 years 11 months ago
Uncalibrated Narrow Baseline Augmented Reality
We describe initial work on a system for augmenting video sequences with 3-D graphics so that they appear to be present within the scene. Our aim is to do this in realtime for seq...
Annie Yao, Andrew Calway