4573 search results - page 741 / 915 » Automated Reasoning |
159
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
195
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
177
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
172
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
178
click to vote
ICLP
2005
Springer
16 years 13 hour ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...