Sciweavers

3605 search results - page 335 / 721
» Associated types with class
Sort
View
201
Voted
ICDT
2003
ACM
127views Database» more  ICDT 2003»
16 years 21 days ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
248
Voted
DATE
2010
IEEE
263views Hardware» more  DATE 2010»
16 years 17 days ago
SCOC3: a space computer on a chip
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
Franck Koebel, Jean-François Coldefy
ANSS
2002
IEEE
16 years 13 days ago
Gang Scheduling Performance on a Cluster of Non-Dedicated Workstations
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...
Helen D. Karatza
AGENTS
2001
Springer
16 years 30 min ago
Implementing soft real-time agent control
Real-time control has become increasingly important as technologies are moved from the lab into real world situations. The complexity associated with these systems increases as co...
Régis Vincent, Bryan Horling, Victor R. Les...
155
Voted
IUI
1999
ACM
15 years 11 months ago
Planning and User Interface Affordances
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
Robert St. Amant