Sciweavers

1512 search results - page 226 / 303
» Description Logic Terminology
Sort
View
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
14 years 1 months ago
Scheduling under resource constraints using dis-equations
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
Hadda Cherroun, Alain Darte, Paul Feautrier
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
14 years 1 months ago
Adaptive Torque Control of Electro-rheological Fluid Brakes used in Active Knee Rehabilitation Devices
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
Jason Nikitczuk, Abhimanyu Das, Harsh Vyas, Brian ...
DEXAW
2005
IEEE
144views Database» more  DEXAW 2005»
14 years 1 months ago
A Partial Ontology for Forest Inventory and Mensuration
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
Keith Rennolls
FC
2005
Springer
119views Cryptology» more  FC 2005»
14 years 1 months ago
Policy-Based Cryptography and Applications
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
Walid Bagga, Refik Molva
SEMWEB
2005
Springer
14 years 1 months ago
Representing Web Service Policies in OWL-DL
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
Vladimir Kolovski, Bijan Parsia, Yarden Katz, Jame...