Sciweavers

5446 search results - page 693 / 1090
» Software Architecture - Introduction
Sort
View
189
Voted
ISER
2000
Springer
143views Robotics» more  ISER 2000»
15 years 10 months ago
First Results in the Coordination of Heterogeneous Robots for Large-Scale Assembly
: While many multi-robot systems rely on fortuitous cooperation between agents, some tasks, such as the assembly of large structures, require tighter coordination. We present a gen...
Reid G. Simmons, Sanjiv Singh, David Hershberger, ...
168
Voted
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
ASPDAC
2008
ACM
116views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Faster projection based methods for circuit level verification
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
Chao Yan, Mark R. Greenstreet
FSKD
2007
Springer
102views Fuzzy Logic» more  FSKD 2007»
15 years 8 months ago
Statistical and Fuzzy Approach for Database Security
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...
Gang Lu, Junkai Yi, Kevin Lü
EDM
2010
142views Data Mining» more  EDM 2010»
15 years 8 months ago
A Data Model to Ease Analysis and Mining of Educational Data
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
André Krüger, Agathe Merceron, Benjami...