Sciweavers

1463 search results - page 88 / 293
» The State of the Art in Language Modeling
Sort
View
ISCAS
2007
IEEE
173views Hardware» more  ISCAS 2007»
15 years 4 months ago
Critical Charge Characterization for Soft Error Rate Modeling in 90nm SRAM
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
Riaz Naseer, Younes Boulghassoul, Jeff Draper, San...
IADIS
2004
14 years 11 months ago
A Model for Naturalistic Virtual User Simulation
The aim of this study is to present a contribution in the area of human decision modeling. A state of the art from this research area shows the lack of models combining perceptive...
Laurent Bodic, Pierre Favier, Guillaume Calvet
FUIN
2006
85views more  FUIN 2006»
14 years 10 months ago
Towards Integrated Verification of Timed Transition Models
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
Mark Lawford, Vera Pantelic, Hong Zhang
ACL
2012
13 years 8 days ago
Modeling Sentences in the Latent Space
Sentence Similarity is the process of computing a similarity score between two sentences. Previous sentence similarity work finds that latent semantics approaches to the problem ...
Weiwei Guo, Mona T. Diab
GAMEON
2000
14 years 11 months ago
Artificial Life Techniques for Generating Controllers for Physically Modelled Characters
The realistic physical modelling of characters in games and virtual worlds is becoming a viable alternative to more traditional animation techniques. Physical modelling can enhanc...
Tim Taylor