6456 search results - page 900 / 1292 » Constraint Solving on Terms |
187
click to vote
RE
2004
Springer
16 years 4 days ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
187
click to vote
SAFECOMP
2004
Springer
16 years 4 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
190
click to vote
SCVMA
2004
Springer
16 years 4 days ago
2004
Springer
1 . The problem of recovering the 3-D camera and scene structure has been intensively studied and is considered well understood. Starting with two images, a process of establishing...
169
click to vote
SAC
2010
ACM
16 years 3 days ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...
170
click to vote
CODES
2003
IEEE
16 years 3 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...