Sciweavers

3692 search results - page 422 / 739
» Active learning and its use in computer science
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Exploiting FPGA Concurrency to Enhance JVM Performance
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
James Parnis, Gareth Lee
CAD
2008
Springer
15 years 6 months ago
Detecting approximate symmetries of discrete point subsets
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
Ming Li, Frank C. Langbein, Ralph R. Martin
SPIN
2004
Springer
16 years 4 days ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
121
Voted
ICCV
2007
IEEE
16 years 8 months ago
A Nonlinear Discriminative Approach to AAM Fitting
The Active Appearance Model (AAM) is a powerful generative method for modeling and registering deformable visual objects. Most methods for AAM fitting utilize a linear parameter u...
Jason Saragih, Roland Göcke
SAC
2000
ACM
15 years 11 months ago
A Coordination Language for Collective Agent Based Systems: GroupLog
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
Fernanda Barbosa, José C. Cunha