Sciweavers

614 search results - page 50 / 123
» The Power of Methods With Parallel Semantics
Sort
View
AIIDE
2009
13 years 10 months ago
Using Semantics to Improve the Design of Game Worlds
Design of game worlds is becoming more and more laborintensive because of the increasing demand and complexity of content. This is being partially addressed by developing semi-aut...
Tim Tutenel, Ruben Michaël Smelik, Rafael Bid...
LICS
2010
IEEE
13 years 7 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
ASAP
2000
IEEE
184views Hardware» more  ASAP 2000»
14 years 1 months ago
Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
Marcus Bednara, Oliver Beyer, Jürgen Teich, R...
GEOS
2009
Springer
14 years 1 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
ICPP
2008
IEEE
14 years 3 months ago
Location Dependent Cooperative Caching in MANET
— Location Dependent Information Services (LDISs) are gaining increasing popularity in recent years, and due to limited client power and intermittent connectivity, caching is an ...
Yilin Wang, Edward Chan, Wenzhong Li, Sanglu Lu