Sciweavers

2149 search results - page 285 / 430
» Form over Substance
Sort
View
RE
2008
Springer
15 years 6 months ago
Clear justification of modeling decisions for goal-oriented requirements engineering
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
AI
2008
Springer
15 years 5 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
CORR
2010
Springer
205views Education» more  CORR 2010»
15 years 5 months ago
An Algorithm for Detection of Selfish Nodes in Wireless Mesh Networks
—Wireless mesh networks (WMNs) are evolving as a key technology for next-generation wireless networks showing raid progress and numerous applications. These networks have the pot...
Jaydip Sen, Kaustav Goswami
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
15 years 5 months ago
Geodesic trajectory generation on learnt skill manifolds
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
Ioannis Havoutis, Subramanian Ramamoorthy
ICRA
2010
IEEE
81views Robotics» more  ICRA 2010»
15 years 5 months ago
Using recursive spectral registrations to determine brokenness as measure of structural map errors
—There are many common error sources that influence mapping, e.g., salt and pepper noise as well as other effects occurring quite uniformly distributed over the map. On the oth...
Andreas Birk