1809 search results - page 282 / 362 » Software Model Checking Using Linear Constraints |
152
Voted
PAMI
2012
13 years 4 months ago
2012
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...
124
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
IPPS
2010
IEEE
15 years 2 days ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
121
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
103
Voted
FLAIRS
2006
15 years 3 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...