Sciweavers

3408 search results - page 286 / 682
» Logic, language, information and computation
Sort
View
LAWEB
2008
IEEE
16 years 1 months ago
Personal Information Ecosystems: Design Concerns for Net-Enabled Devices
Today, with the proliferation of affordable computing, people use multiple devices to fulfill their information needs. Designers approach each device platform individually, with...
Manuel A. Pérez-Quiñones, Manas Tung...
ACL
2012
13 years 9 months ago
Probabilistic Integration of Partial Lexical Information for Noise Robust Haptic Voice Recognition
This paper presents a probabilistic framework that combines multiple knowledge sources for Haptic Voice Recognition (HVR), a multimodal input method designed to provide efficient...
Khe Chai Sim
DAC
1998
ACM
15 years 11 months ago
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CORR
2008
Springer
95views Education» more  CORR 2008»
15 years 6 months ago
Depth as Randomness Deficiency
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditio...
Luis Antunes 0002, Armando Matos, Andre Souto, Pau...
153
Voted
COLING
2010
15 years 1 months ago
Informed ways of improving data-driven dependency parsing for German
We investigate a series of targeted modifications to a data-driven dependency parser of German and show that these can be highly effective even for a relatively well studied langu...
Wolfgang Seeker, Bernd Bohnet, Lilja Øvreli...