Sciweavers

1463 search results - page 124 / 293
» The State of the Art in Language Modeling
Sort
View
SC
2004
ACM
15 years 7 months ago
Computing - An Intellectual Lever for Multidisciplinary Discovery
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
Daniel A. Reed
ANSS
2003
IEEE
15 years 7 months ago
Internode: Internal Node Logic Computational Model
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
Alejandro Millán, Manuel J. Bellido, Jorge ...
106
Voted
ICFEM
2004
Springer
15 years 7 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
TOOLS
1994
IEEE
15 years 6 months ago
The Role of Prototyping in Software Development
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
Gustav Pomberger, Rainer Weinreich
ACL
1997
15 years 3 months ago
Hierarchical Non-Emitting Markov Models
We describe a simple variant of the interpolated Markov model with nonemitting state transitions and prove that it is strictly more powerful than any Markov model. More importantl...
Eric Sven Ristad, Robert G. Thomas