Sciweavers

2784 search results - page 299 / 557
» Instruction Level Parallelism
Sort
View
154
Voted
JUCS
2008
196views more  JUCS 2008»
15 years 3 months ago
Information Integration for the Masses
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
Jim Blythe, Dipsy Kapoor, Craig A. Knoblock, Krist...
133
Voted
FUIN
2007
99views more  FUIN 2007»
15 years 3 months ago
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
Amy P. Felty
118
Voted
AIEDU
2004
71views more  AIEDU 2004»
15 years 3 months ago
Using Intelligent Feedback to Improve Sourcing and Integration in Students' Essays
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
Mary Anne Britt, Peter M. Wiemer-Hastings, Aaron A...
124
Voted
TVLSI
2008
151views more  TVLSI 2008»
15 years 3 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
113
Voted
NN
2007
Springer
15 years 3 months ago
A neural model of decision-making by the superior colicullus in an antisaccade task
In the antisaccade paradigm subjects are instructed to perform eye movements in the opposite direction from the location of a visually appearing stimulus while they are fixating ...
Vassilis Cutsuridis, Nikolaos Smyrnis, Ioannis Evd...