2364 search results - page 62 / 473 » An Engine for Computing Well-Founded Models |
136
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
130
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
137
Voted
LAWEB
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we process and analyze web search engine query and click data from the perspective of the documents (URL’s) selected. We initially define possible document categor...
141
Voted
MOBIDE
2006
ACM
15 years 9 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
108
Voted
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...