Sciweavers

1687 search results - page 182 / 338
» Personalizing Information Spaces: A Metadata Based Approach
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 10 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
SIAMSC
2008
99views more  SIAMSC 2008»
15 years 4 months ago
Mixed Multiscale Finite Element Methods for Stochastic Porous Media Flows
In this paper, we propose a stochastic mixed multiscale finite element method. The proposed method solves the stochastic porous media flow equation on the coarse grid using a set ...
J. E. Aarnes, Yalchin Efendiev
KDD
2009
ACM
209views Data Mining» more  KDD 2009»
16 years 5 months ago
Collective annotation of Wikipedia entities in web text
To take the first step beyond keyword-based search toward entity-based search, suitable token spans ("spots") on documents must be identified as references to real-world...
Sayali Kulkarni, Amit Singh, Ganesh Ramakrishnan, ...
UIC
2007
Springer
15 years 10 months ago
Activity Recognition Using an Egocentric Perspective of Everyday Objects
This paper presents an activity recognition approach based on the tracking of a specific human actor’s current object manipulation actions, complemented by two kinds of situation...
Dipak Surie, Thomas Pederson, Fabien Lagriffoul, L...
FLOPS
1999
Springer
15 years 8 months ago
Typed Higher-Order Narrowing without Higher-Order Strategies
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
Sergio Antoy, Andrew P. Tolmach