4693 search results - page 658 / 939 » Verifying Hybrid Systems |
181
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
163
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...
176
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Single chip heterogeneous multiprocessors are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs trad...
157
click to vote
COLING
2008
15 years 8 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
178
click to vote
AAAI
2006
15 years 8 months ago
2006
We describe a recommender system which uses a unique combination of content-based and collaborative methods to suggest items of interest to users, and also to learn and exploit it...