Sciweavers

1064 search results - page 151 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
103
Voted
IEAAIE
2005
Springer
15 years 9 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
SCIA
2005
Springer
174views Image Analysis» more  SCIA 2005»
15 years 9 months ago
Object Localization with Boosting and Weak Supervision for Generic Object Recognition
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...
Andreas Opelt, Axel Pinz
148
Voted
JELIA
2004
Springer
15 years 9 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
WECWIS
2002
IEEE
112views ECommerce» more  WECWIS 2002»
15 years 8 months ago
Separating Business Process from User Interaction Utilizing Process-Aware XSLT Style-Sheets
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
Karl Aberer, Anwitaman Datta, Zoran Despotovic
ECOOP
2001
Springer
15 years 8 months ago
Precise Constraint-Based Type Inference for Java
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
Tiejun Wang, Scott F. Smith