14244 search results - page 375 / 2849 » Modeling Program Predictability |
144
click to vote
NAACL
2010
15 years 1 months ago
2010
We describe a method of incorporating taskspecific cost functions into standard conditional log-likelihood (CLL) training of linear structured prediction models. Recently introduc...
159
Voted
PERVASIVE
2010
Springer
15 years 2 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
160
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
142
Voted
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
148
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...