Sciweavers

802 search results - page 57 / 161
» Skill Characterization Based on Betweenness
Sort
View
ICC
2007
IEEE
14 years 2 months ago
Detecting Node Misbehavior in Ad hoc Networks
—Ad hoc networks employ a decentralized unstructured networking model that relies on node cooperation for key network functionalities such as routing and medium access. In this p...
M. Tamer Refaei, Yanxia Rong, Luiz A. DaSilva, Hye...
IEEEICCI
2005
IEEE
14 years 1 months ago
An empirical study of programmer learning during incremental software development
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
Shaochun Xu, Václav Rajlich, Andrian Marcus
CIARP
2004
Springer
14 years 1 months ago
Adaboost to Classify Plaque Appearance in IVUS Images
Intravascular Ultrasound images represent a unique tool to analyze the morphological vessel structures and make decisions about plaque presence. Texture analysis is a robust way to...
Oriol Pujol, Petia Radeva, Jordi Vitrià, Jo...
CHARME
2001
Springer
73views Hardware» more  CHARME 2001»
14 years 5 days ago
A Framework for Microprocessor Correctness Statements
Abstract Most verifications of out-of-order microprocessors compare state-machine-based implementations and specifications, where the specification is based on the instruction-s...
Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. ...
COLING
2000
13 years 9 months ago
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
Sylvain Pogodalla