Sciweavers

3104 search results - page 90 / 621
» Competence-Based EE-Learning: (How) Can We Implement It
Sort
View
PPCP
1993
15 years 8 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning
FPL
1997
Springer
68views Hardware» more  FPL 1997»
15 years 8 months ago
Pipeline morphing and virtual pipelines
Abstract. Pipeline morphing is a simple but e ective technique for recon guring pipelined FPGA designs at run time. By overlapping computation and recon guration, the latency assoc...
Wayne Luk, Nabeel Shirazi, Shaori Guo, Peter Y. K....
GROUP
1999
ACM
15 years 9 months ago
Building bridges: customisation and mutual intelligibility in shared category management
Research into collaborative document use often concentrates on how people share document content. However, studies of real-world document practices reveal that the structures by w...
Paul Dourish, John Lamping, Tom Rodden
AI
2002
Springer
15 years 4 months ago
Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
Scott A. DeLoach
ICRA
1993
IEEE
118views Robotics» more  ICRA 1993»
15 years 8 months ago
Mechanical Computation for Passive Force Control
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
Ambarish Goswami, Michael A. Peshkin