Sciweavers

2004 search results - page 238 / 401
» Understanding Ontological Levels
Sort
View
PPDP
2004
Springer
15 years 10 months ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
ECCV
2010
Springer
15 years 10 months ago
Learning Relations Among Movie Characters: A Social Network Perspective
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...
134
Voted
ASYNC
2003
IEEE
97views Hardware» more  ASYNC 2003»
15 years 10 months ago
Energy and Performance Models for Clocked and Asynchronous Communication
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
Kenneth S. Stevens
COMPSAC
2003
IEEE
15 years 10 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
126
Voted
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
15 years 10 months ago
Analysis of the Effectiveness of Global Virtual Teams in Software Engineering Projects
Global software development projects use virtual teams, which are primarily linked through computer and telecommunications technologies across national boundaries. Global Virtual ...
H. Keith Edwards, Varadharajan Sridhar